aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* Set comment-quote-nested (for Emacs/XEmacs 21.5)Gravatar David Aspinall2004-05-09
* Patch from Brother MakariusGravatar David Aspinall2004-05-06
* Updated.Gravatar David Aspinall2004-04-17
* Fix isa-tool-list-docs for altered form of output from isatool docGravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* Add automatic refresh of Logics menuGravatar David Aspinall2004-04-16
* Remove title settingGravatar David Aspinall2004-04-15
* Remove commentGravatar David Aspinall2004-04-15
* Set supported versions of Isabelle (remove 99, 2002 versions).Gravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2004-04-14
* Comment.Gravatar David Aspinall2004-04-13
* Fix comment.Gravatar David Aspinall2004-04-13
* Fix long-lived typo in setting auto-mode-alist.Gravatar David Aspinall2004-04-13
* fixed single char sub/super script in goals/response windowGravatar Gerwin Klein2004-04-05
* CommentsGravatar David Aspinall2004-04-02
* Update email and web addressesGravatar David Aspinall2004-02-08
* spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>Gravatar Gerwin Klein2003-12-29
* removed bold, no longer supported by x-symbolGravatar Gerwin Klein2003-12-23
* more cleanup of sub/superscript, removed duplicate subscript-matcherGravatar Gerwin Klein2003-12-23
* allow sub/super scripts in identifiers (\<^isub> and \<^isup>)Gravatar Gerwin Klein2003-10-16
* Add a location under HOME to search path for isatoolGravatar David Aspinall2003-05-23
* Updated by Gerwin to remove some X-Symbol loadingGravatar David Aspinall2003-04-12
* CommentsGravatar David Aspinall2003-04-05
* Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compileGravatar David Aspinall2003-03-05
* Add function to parse consts part of syntax outputGravatar David Aspinall2003-03-05
* Improved version from Gerwin Klein/Christoph Wedler; simplified auto-mode-sty...Gravatar David Aspinall2003-03-03
* Fix some compile errorsGravatar David Aspinall2003-02-24
* auto-coding-alistGravatar David Aspinall2003-02-22
* New files.Gravatar David Aspinall2003-02-22
* Move x-sym config to x-symbol-isa.elGravatar David Aspinall2003-02-22
* Experiments with auto-styleGravatar David Aspinall2003-02-22
* Add backwards compatibility for old pre-PGIP settings mechanismGravatar David Aspinall2003-02-16
* Updated.Gravatar David Aspinall2003-02-15
* Towards isabelle-refresh-logicsGravatar David Aspinall2003-02-15
* Fix use of replace-regexp-in-stringGravatar David Aspinall2002-12-29
* Documentation.Gravatar David Aspinall2002-11-28
* markup ml for IsarGravatar David Aspinall2002-11-21
* Make proof-assistants-settings-cmd be evaluated at right time.Gravatar David Aspinall2002-11-20
* Improve isabelle-choose-logic, and make it clear preferences. Remove all def...Gravatar David Aspinall2002-11-20
* Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.Gravatar David Aspinall2002-11-18
* Add trigger for <pgip messagesGravatar David Aspinall2002-11-08
* Adjust comment about selecting PG/Isar.Gravatar David Aspinall2002-09-11
* Remove isabelle image from splash screenGravatar David Aspinall2002-08-29
* Search for isabelle binary in standard places.Gravatar David Aspinall2002-08-29
* Dependencies classed as experimental.Gravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* New theorem deps settingsGravatar David Aspinall2002-08-29
* Add missing semicolon.Gravatar David Aspinall2002-08-28
* Deleted fileGravatar David Aspinall2002-08-28
* proper setup for theorem dependencies;Gravatar Makarius Wenzel2002-08-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 07:51:39 +0000