| Commit message (Expand) | Author | Age |
* | proof-restart: also remove idiom internal spans. | David Aspinall | 2002-07-01 |
* | Fix problem with GNU Emacs support: switch to multibyte in output buffers | David Aspinall | 2002-07-01 |
* | Doc difference between isa and isar, fix prob with isa support. | David Aspinall | 2002-07-01 |
* | Added isabelle-load-isar-keywords mimic of script startup. | David Aspinall | 2002-07-01 |
* | Adjust syntax tables. | David Aspinall | 2002-07-01 |
* | Adjust load order, and try to load a good isar-keywords file. Add several FI... | David Aspinall | 2002-07-01 |
* | Add code to test new parser. | David Aspinall | 2002-07-01 |
* | Revert to previous version. Explain existence of other versions | David Aspinall | 2002-06-30 |
* | Update version | David Aspinall | 2002-06-30 |
* | Update, cleanup | David Aspinall | 2002-06-30 |
* | Reorg. Mention fontification bug. | David Aspinall | 2002-06-30 |
* | New files. | David Aspinall | 2002-06-30 |
* | Fix error catching in proof-deactivate-scripting-auto. | David Aspinall | 2002-06-30 |
* | Robustify form GNU Emacs | David Aspinall | 2002-06-30 |
* | Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashes | David Aspinall | 2002-06-30 |
* | Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon. | David Aspinall | 2002-06-30 |
* | New files. | David Aspinall | 2002-06-30 |
* | When killing process or scripting buffer, register file if it is complete, ra... | David Aspinall | 2002-06-30 |
* | proof-shell-kill-function: deactivate scripting before shutting down prover | David Aspinall | 2002-06-30 |
* | Require x-symbol-vars as recommended for new version (works with old too?) | David Aspinall | 2002-06-24 |
* | Disable fly past comments for old parser again. | David Aspinall | 2002-06-24 |
* | Default to using old parser for now. | David Aspinall | 2002-06-24 |
* | use-old-parser setting replaces use-new-parser setting [WARNING: big change] | David Aspinall | 2002-06-24 |
* | use-old-parser setting replaces use-new-parser setting [WARNING: big change] | David Aspinall | 2002-06-24 |
* | Also use our own buffer-syntactic-context in XEmacs 21.4. | David Aspinall | 2002-06-24 |
* | Add Emacs mode comments at top | David Aspinall | 2002-06-24 |
* | Move auto-mode-alist hack here now Isar is default. | David Aspinall | 2002-06-24 |
* | Fix comment | David Aspinall | 2002-06-24 |
* | [TESTING] support for latest version of X-Symbol (back compat broken). | David Aspinall | 2002-06-24 |
* | Hack to avoid loading x-symbol-isabelle | David Aspinall | 2002-06-24 |
* | Fix to prevent {* being considered a command, flag edits | David Aspinall | 2002-06-24 |
* | Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING]. | David Aspinall | 2002-06-24 |
* | Wrong: mustn't delete isa dir, files shared with isar. | David Aspinall | 2002-06-21 |
* | GPL update | David Aspinall | 2002-06-21 |
* | GPL, 3.4 dates | David Aspinall | 2002-06-21 |
* | GPL | David Aspinall | 2002-06-21 |
* | Isar is default over isa. | David Aspinall | 2002-06-21 |
* | GPL | David Aspinall | 2002-06-21 |
* | Mention looping GNU | David Aspinall | 2002-06-21 |
* | Updated. | David Aspinall | 2002-06-20 |
* | Set version tag for new release. | David Aspinall | 2002-06-20 |
* | Updated the doc and the CHANGES file about new backtracking for Coq. | Pierre Courtieu | 2002-06-19 |
* | Match FSF C-button3 binding with XEmacs one | David Aspinall | 2002-06-19 |
* | Doc improvements | David Aspinall | 2002-06-19 |
* | Finished updating the commands and tactic lists of coq-syntax.el. | Pierre Courtieu | 2002-06-19 |
* | updated the lists of commands and tactics in coq-syntax.el. | Pierre Courtieu | 2002-06-19 |
* | Use coq-proof-mode-p instead of nesting depth test. Attempt to track nesting... | David Aspinall | 2002-06-19 |
* | Add nested section example to increase the horror. | David Aspinall | 2002-06-19 |
* | Added End for sections, and silly test | David Aspinall | 2002-06-19 |
* | Updated with more notes | David Aspinall | 2002-06-19 |