Custom Query (361 matches)
Results (91 - 93 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#214 | fixed | Processing of buffer sensitive to Unicode option | ||
Description |
Issue where processing a buffer with Isabelle works if Unicode Tokens option disabled, but fails if enabled. The problem appears to be related to sub/superscripts. Problem manifests with file "HOL/Algebra/Group.thy" from Isabelle repository. Error message * Illegal reference to implicit structure #1 * The error(s) above occurred in axiom "nat_pow_def" * At command "defs". when attempting to process line 35. The following configuration was used: GNU Emacs 22.2.1 (i386-apple-darwin8.11.1, Carbon Version 1.6.0) of 2008-04-02 on seijiz.local Proof General cvs of 7 July 2008 Isabelle cvs of 7 Jully 2008 -- Clemens |
|||
#215 | fixed | Emacs 23: toolbar issues | ||
Description |
Blank toolbar on Linux with current Emacs CVS. Also, a user reported toolbar size problems with latest Carbon Emacs. |
|||
#218 | fixed | Add documentation for Isabelle settings | ||
Description |
Latest GNU Emacs 23 has nice tooltips for help in menu commands. We should pass through the documentation for Isabelle settings in the setprefs commands to make use of this. NB: may require change in Isabelle too. |