aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Expand)Author
2002-11-08Add trigger for <pgip messagesDavid Aspinall
2002-09-11Adjust comment about selecting PG/Isar.David Aspinall
2002-08-29Remove isabelle image from splash screenDavid Aspinall
2002-08-29Search for isabelle binary in standard places.David Aspinall
2002-08-29Dependencies classed as experimental.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29New theorem deps settingsDavid Aspinall
2002-08-28Add missing semicolon.David Aspinall
2002-08-28Deleted fileDavid Aspinall
2002-08-27proper setup for theorem dependencies;Makarius Wenzel
2002-08-26Add example of sub/sup/bold in comment.David Aspinall
2002-08-16Add span menu for thm_depsDavid Aspinall
2002-08-16Identifier name changeDavid Aspinall
2002-08-16Variable name changeDavid Aspinall
2002-08-13Dont force isatool to be foundDavid Aspinall
2002-08-12Enable variable highlighting in case experimental features enabled.David Aspinall
2002-08-12UpdatedDavid Aspinall
2002-08-08Simplify theorem dep / Isabelle patch loadingDavid Aspinall
2002-08-08Remove proof-shared-menu.David Aspinall
2002-08-08Set proof-shell-show-dependency-cmdDavid Aspinall
2002-08-08Updated for Isabelle2002.David Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-07-19Support missing/faked isatoolDavid Aspinall
2002-07-19Merge changes and comments sent by Christoph WedlerDavid Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-19Bug in load-isar-keywordsDavid Aspinall
2002-07-18Nuke X-sym warningsDavid Aspinall
2002-07-18CleanupsDavid Aspinall
2002-07-18Fix sub/sups; defer loading x-symbol-isabelle.David Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-17Support subterm help facility (not quite working)David Aspinall
2002-07-17Update versions/TODODavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Fix typo.David Aspinall
2002-07-16Add conversion of idmarkup to subtermDavid Aspinall
2002-07-16Patch so works without x-symbolDavid Aspinall
2002-07-16Merge patches from Christoph, and add Isabelle/Isar capabilitiesDavid Aspinall
2002-07-14Tracing bugDavid 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-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-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-21GPL updateDavid Aspinall
2002-05-21Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)David Aspinall
2002-04-24Updated list of SML keywordsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 13:15:42 +0000