aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Add note about favicon.Gravatar David Aspinall2002-07-13
* Add note about favicon.Gravatar David Aspinall2002-07-13
* Deleted fileGravatar David Aspinall2002-07-13
* New files.Gravatar David Aspinall2002-07-13
* TrivialGravatar David Aspinall2002-07-12
* condition-case -> ignore-errors, comment.Gravatar David Aspinall2002-07-12
* Mention probs with tracing mode.Gravatar David Aspinall2002-07-12
* Add some nesting examplesGravatar David Aspinall2002-07-12
* Give link to develdownload for latest docsGravatar David Aspinall2002-07-02
* Remove description of known bugs.Gravatar David Aspinall2002-07-02
* Remove FIXME: have added definition of font-lock-preprocessor-faceGravatar David Aspinall2002-07-02
* Add definition of font-lock-preprocessor-faceGravatar David Aspinall2002-07-02
* Updated.Gravatar David Aspinall2002-07-01
* Syntax errorGravatar David Aspinall2002-07-01
* Updates for 3.4Gravatar David Aspinall2002-07-01
* Updated.Gravatar David Aspinall2002-07-01
* Set version tag for new release.Gravatar David Aspinall2002-07-01
* Fix date on news itemGravatar David Aspinall2002-07-01
* Use executable-findGravatar David Aspinall2002-07-01
* proof-restart: also remove idiom internal spans.Gravatar David Aspinall2002-07-01
* Fix problem with GNU Emacs support: switch to multibyte in output buffersGravatar David Aspinall2002-07-01
* Doc difference between isa and isar, fix prob with isa support.Gravatar David Aspinall2002-07-01
* Added isabelle-load-isar-keywords mimic of script startup.Gravatar David Aspinall2002-07-01
* Adjust syntax tables.Gravatar David Aspinall2002-07-01
* Adjust load order, and try to load a good isar-keywords file. Add several FI...Gravatar David Aspinall2002-07-01
* Add code to test new parser.Gravatar David Aspinall2002-07-01
* Revert to previous version. Explain existence of other versionsGravatar David Aspinall2002-06-30
* Update versionGravatar David Aspinall2002-06-30
* Update, cleanupGravatar David Aspinall2002-06-30
* Reorg. Mention fontification bug.Gravatar David Aspinall2002-06-30
* New files.Gravatar David Aspinall2002-06-30
* Fix error catching in proof-deactivate-scripting-auto.Gravatar David Aspinall2002-06-30
* Robustify form GNU EmacsGravatar David Aspinall2002-06-30
* Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashesGravatar David Aspinall2002-06-30
* Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.Gravatar David Aspinall2002-06-30
* New files.Gravatar David Aspinall2002-06-30
* When killing process or scripting buffer, register file if it is complete, ra...Gravatar David Aspinall2002-06-30
* proof-shell-kill-function: deactivate scripting before shutting down proverGravatar David Aspinall2002-06-30
* Require x-symbol-vars as recommended for new version (works with old too?)Gravatar David Aspinall2002-06-24
* Disable fly past comments for old parser again.Gravatar David Aspinall2002-06-24
* Default to using old parser for now.Gravatar David Aspinall2002-06-24
* use-old-parser setting replaces use-new-parser setting [WARNING: big change]Gravatar David Aspinall2002-06-24
* use-old-parser setting replaces use-new-parser setting [WARNING: big change]Gravatar David Aspinall2002-06-24
* Also use our own buffer-syntactic-context in XEmacs 21.4.Gravatar David Aspinall2002-06-24
* Add Emacs mode comments at topGravatar David Aspinall2002-06-24
* Move auto-mode-alist hack here now Isar is default.Gravatar David Aspinall2002-06-24
* Fix commentGravatar David Aspinall2002-06-24
* [TESTING] support for latest version of X-Symbol (back compat broken).Gravatar David Aspinall2002-06-24
* Hack to avoid loading x-symbol-isabelleGravatar David Aspinall2002-06-24
* Fix to prevent {* being considered a command, flag editsGravatar David Aspinall2002-06-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 23:54:06 +0000