aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Use x-symbol-enable switch to see whether to include sub/super/bold flks.Gravatar David Aspinall2002-07-18
* Fix goals font lock keywords.Gravatar 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 facilityGravatar 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
* Add more nagsGravatar David Aspinall2002-07-16
* Revert some premature changes in x-sym supportGravatar David Aspinall2002-07-16
* Tracing bugGravatar David Aspinall2002-07-14
* Remove FIXME: have added definition of font-lock-preprocessor-faceGravatar David Aspinall2002-07-02
* 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
* Fix to prevent {* being considered a command, flag editsGravatar David Aspinall2002-06-24
* Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].Gravatar David Aspinall2002-06-24
* GPL updateGravatar David Aspinall2002-06-21
* New files.Gravatar David Aspinall2002-06-12
* Fix bug in string syntax in isar-strip-terminators: did this work correctly b...Gravatar David Aspinall2002-06-08
* Program [broken]Gravatar David Aspinall2002-06-08
* Add types_code and friendsGravatar David Aspinall2002-06-05
* tuned isar-strip-terminators;Gravatar Makarius Wenzel2002-05-10
* tuned comment;Gravatar Makarius Wenzel2002-05-03
* tuned proof-next-error setup;Gravatar Makarius Wenzel2002-05-03
* Added support for proof-shell-next-errorGravatar David Aspinall2002-05-03
* Add support for proof-next-error.Gravatar David Aspinall2002-05-03
* option -g GEOMETRY;Gravatar Makarius Wenzel2002-02-12
* observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;Gravatar Makarius Wenzel2002-02-12
* added isar-undo-ignore-regexp;Gravatar Makarius Wenzel2002-02-12
* more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;Gravatar Makarius Wenzel2002-02-08
* tuned comment;Gravatar Makarius Wenzel2002-01-26
* Isabelle2002 instead of Isabelle2001;Gravatar Makarius Wenzel2002-01-21
* WhitespaceGravatar David Aspinall2002-01-16
* Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* tuned;Gravatar Makarius Wenzel2001-12-27
* updated;Gravatar Makarius Wenzel2001-12-27
* do not set proof-shell-quit-cmd (admits persistent sessions);Gravatar Makarius Wenzel2001-12-21
* incorporate smart X11 font installation (used to be in isatool installfonts);Gravatar Makarius Wenzel2001-12-12
* activate proof-shell-spill-output-regexp;Gravatar Makarius Wenzel2001-12-05
* isar specific commands for bold/sup/sub;Gravatar Makarius Wenzel2001-12-04
* proof-shell-spill-output-regexp temporarily disabled;Gravatar Makarius Wenzel2001-11-24
* set proof-shell-spill-output-regexp;Gravatar Makarius Wenzel2001-11-20
* option -k for logic specific isar-keywords file;Gravatar Makarius Wenzel2001-11-13
* updated isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2001-11-07
* isar-goals-font-lock-keywords: more general goal pattern;Gravatar Makarius Wenzel2001-10-13
* added isar-help-induct-rules;Gravatar Makarius Wenzel2001-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-25 09:25:20 +0000