aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-07-13ReformatDavid Aspinall
2002-07-13Add favicon to headDavid Aspinall
2002-07-13Add note about favicon.David Aspinall
2002-07-13Add note about favicon.David Aspinall
2002-07-13Deleted fileDavid Aspinall
2002-07-13New files.David Aspinall
2002-07-12TrivialDavid Aspinall
2002-07-12condition-case -> ignore-errors, comment.David Aspinall
2002-07-12Mention probs with tracing mode.David Aspinall
2002-07-12Add some nesting examplesDavid Aspinall
2002-07-02Give link to develdownload for latest docsDavid Aspinall
2002-07-02Remove description of known bugs.David Aspinall
2002-07-02Remove FIXME: have added definition of font-lock-preprocessor-faceDavid Aspinall
2002-07-02Add definition of font-lock-preprocessor-faceDavid Aspinall
2002-07-01Updated.David Aspinall
2002-07-01Syntax errorDavid Aspinall
2002-07-01Updates for 3.4David Aspinall
2002-07-01Updated.David Aspinall
2002-07-01Set version tag for new release.David Aspinall
2002-07-01Fix date on news itemDavid Aspinall
2002-07-01Use executable-findDavid Aspinall
2002-07-01proof-restart: also remove idiom internal spans.David Aspinall
2002-07-01Fix problem with GNU Emacs support: switch to multibyte in output buffersDavid Aspinall
2002-07-01Doc difference between isa and isar, fix prob with isa support.David Aspinall
2002-07-01Added isabelle-load-isar-keywords mimic of script startup.David Aspinall
2002-07-01Adjust syntax tables.David Aspinall
2002-07-01Adjust load order, and try to load a good isar-keywords file. Add several FI...David Aspinall
2002-07-01Add code to test new parser.David Aspinall
2002-06-30Revert to previous version. Explain existence of other versionsDavid Aspinall
2002-06-30Update versionDavid Aspinall
2002-06-30Update, cleanupDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 21:24:04 +0000