aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa
Commit message (Expand)AuthorAge
* 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
* Add example of sub/sup/bold in comment.Gravatar David Aspinall2002-08-26
* Add span menu for thm_depsGravatar David Aspinall2002-08-16
* Identifier name changeGravatar David Aspinall2002-08-16
* Variable name changeGravatar David Aspinall2002-08-16
* Dont force isatool to be foundGravatar David Aspinall2002-08-13
* Enable variable highlighting in case experimental features enabled.Gravatar David Aspinall2002-08-12
* UpdatedGravatar David Aspinall2002-08-12
* Simplify theorem dep / Isabelle patch loadingGravatar David Aspinall2002-08-08
* Remove proof-shared-menu.Gravatar David Aspinall2002-08-08
* Set proof-shell-show-dependency-cmdGravatar David Aspinall2002-08-08
* Updated for Isabelle2002.Gravatar David Aspinall2002-08-08
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Support missing/faked isatoolGravatar David Aspinall2002-07-19
* Merge changes and comments sent by Christoph WedlerGravatar David Aspinall2002-07-19
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Bug in load-isar-keywordsGravatar David Aspinall2002-07-19
* Nuke X-sym warningsGravatar David Aspinall2002-07-18
* CleanupsGravatar David Aspinall2002-07-18
* Fix sub/sups; defer loading x-symbol-isabelle.Gravatar David Aspinall2002-07-18
* Fix active variable highlighting in Isabelle with X-Symbol.Gravatar David Aspinall2002-07-18
* Support subterm help facility (not quite working)Gravatar David Aspinall2002-07-17
* Update versions/TODOGravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Fix typo.Gravatar David Aspinall2002-07-16
* Add conversion of idmarkup to subtermGravatar David Aspinall2002-07-16
* Patch so works without x-symbolGravatar David Aspinall2002-07-16
* Merge patches from Christoph, and add Isabelle/Isar capabilitiesGravatar David Aspinall2002-07-16
* Tracing bugGravatar David Aspinall2002-07-14
* 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
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 11:48:06 +0000