| Age | Commit message (Expand) | Author |
|---|
| 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-06-30 | 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-24 | 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-21 | 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-20 | Updated. | David Aspinall |
| 2002-06-20 | Set version tag for new release. | David Aspinall |
| 2002-06-19 | 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 | Clean up: remove count-undos, comments, tweak coq-proof-mode-p. | David Aspinall |
| 2002-06-19 | Updated. | David Aspinall |
