aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-06-30Reorg. Mention fontification bug.David Aspinall
2002-06-30New files.David Aspinall
2002-06-30Fix error catching in proof-deactivate-scripting-auto.David Aspinall
2002-06-30Robustify form GNU EmacsDavid Aspinall
2002-06-30Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashesDavid Aspinall
2002-06-30Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.David Aspinall
2002-06-30New files.David Aspinall
2002-06-30When killing process or scripting buffer, register file if it is complete, ra...David Aspinall
2002-06-30proof-shell-kill-function: deactivate scripting before shutting down proverDavid Aspinall
2002-06-24Require x-symbol-vars as recommended for new version (works with old too?)David Aspinall
2002-06-24Disable fly past comments for old parser again.David Aspinall
2002-06-24Default to using old parser for now.David Aspinall
2002-06-24use-old-parser setting replaces use-new-parser setting [WARNING: big change]David Aspinall
2002-06-24use-old-parser setting replaces use-new-parser setting [WARNING: big change]David Aspinall
2002-06-24Also use our own buffer-syntactic-context in XEmacs 21.4.David Aspinall
2002-06-24Add Emacs mode comments at topDavid Aspinall
2002-06-24Move auto-mode-alist hack here now Isar is default.David Aspinall
2002-06-24Fix commentDavid Aspinall
2002-06-24[TESTING] support for latest version of X-Symbol (back compat broken).David Aspinall
2002-06-24Hack to avoid loading x-symbol-isabelleDavid Aspinall
2002-06-24Fix to prevent {* being considered a command, flag editsDavid Aspinall
2002-06-24Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].David Aspinall
2002-06-21Wrong: mustn't delete isa dir, files shared with isar.David Aspinall
2002-06-21GPL updateDavid Aspinall
2002-06-21GPL, 3.4 datesDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-06-21Isar is default over isa.David Aspinall
2002-06-21GPLDavid Aspinall
2002-06-21Mention looping GNUDavid Aspinall
2002-06-20Updated.David Aspinall
2002-06-20Set version tag for new release.David Aspinall
2002-06-19Updated the doc and the CHANGES file about new backtracking for Coq.Pierre Courtieu
2002-06-19Match FSF C-button3 binding with XEmacs oneDavid Aspinall
2002-06-19Doc improvementsDavid Aspinall
2002-06-19Finished updating the commands and tactic lists of coq-syntax.el.Pierre Courtieu
2002-06-19updated the lists of commands and tactics in coq-syntax.el.Pierre Courtieu
2002-06-19Use coq-proof-mode-p instead of nesting depth test. Attempt to track nesting...David Aspinall
2002-06-19Add nested section example to increase the horror.David Aspinall
2002-06-19Added End for sections, and silly testDavid Aspinall
2002-06-19Updated with more notesDavid Aspinall
2002-06-19Clean up: remove count-undos, comments, tweak coq-proof-mode-p.David Aspinall
2002-06-19Updated.David Aspinall
2002-06-19Add proof-shell-last-prompt.David Aspinall
2002-06-19Add doc of proof-shell-last-prompt.David Aspinall
2002-06-19Fix infoDavid Aspinall
2002-06-19Set version tag for new release.David Aspinall
2002-06-18Update Emacs versionsDavid Aspinall
2002-06-18Add news for PG 3.4David Aspinall
2002-06-18Update magic. Document nested proof settings.David Aspinall
2002-06-18Removed lift-global stuff. coq-find-and-forget: only undo undoable tactics.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 03:13:05 +0000