aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
2002-07-16Revert some premature changes in x-sym supportDavid Aspinall
2002-07-14Tracing bugDavid Aspinall
2002-07-02Remove FIXME: have added definition of font-lock-preprocessor-faceDavid Aspinall
2002-07-01Adjust syntax tables.David Aspinall
2002-07-01Adjust load order, and try to load a good isar-keywords file. Add several FI...David Aspinall
2002-07-01Add code to test new parser.David Aspinall
2002-06-30Revert to previous version. Explain existence of other versionsDavid Aspinall
2002-06-24Fix to prevent {* being considered a command, flag editsDavid Aspinall
2002-06-24Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].David Aspinall
2002-06-21GPL updateDavid Aspinall
2002-06-12New files.David Aspinall
2002-06-08Fix bug in string syntax in isar-strip-terminators: did this work correctly b...David Aspinall
2002-06-08Program [broken]David Aspinall
2002-06-05Add types_code and friendsDavid Aspinall
2002-05-10tuned isar-strip-terminators;Makarius Wenzel
2002-05-03tuned comment;Makarius Wenzel
2002-05-03tuned proof-next-error setup;Makarius Wenzel
2002-05-03Added support for proof-shell-next-errorDavid Aspinall
2002-05-03Add support for proof-next-error.David Aspinall
2002-02-12option -g GEOMETRY;Makarius Wenzel
2002-02-12observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;Makarius Wenzel
2002-02-12added isar-undo-ignore-regexp;Makarius Wenzel
2002-02-08more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;Makarius Wenzel
2002-01-26tuned comment;Makarius Wenzel
2002-01-21Isabelle2002 instead of Isabelle2001;Makarius Wenzel
2002-01-16WhitespaceDavid Aspinall
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2001-12-27tuned;Makarius Wenzel
2001-12-27updated;Makarius Wenzel
2001-12-21do not set proof-shell-quit-cmd (admits persistent sessions);Makarius Wenzel
2001-12-12incorporate smart X11 font installation (used to be in isatool installfonts);Makarius Wenzel
2001-12-05activate proof-shell-spill-output-regexp;Makarius Wenzel
2001-12-04isar specific commands for bold/sup/sub;Makarius Wenzel
2001-11-24proof-shell-spill-output-regexp temporarily disabled;Makarius Wenzel
2001-11-20set proof-shell-spill-output-regexp;Makarius Wenzel
2001-11-13option -k for logic specific isar-keywords file;Makarius Wenzel
2001-11-07updated isar-goals-font-lock-keywords;Makarius Wenzel
2001-10-13isar-goals-font-lock-keywords: more general goal pattern;Makarius Wenzel
2001-10-04added isar-help-induct-rules;Makarius Wenzel
2001-09-10isar-goals-font-lock-keywords: corollary;Makarius Wenzel
2001-09-06tuned usage;Makarius Wenzel
2001-09-04tuned proof text;Makarius Wenzel
2001-09-04added option -P: actually start Proof General (default true);Makarius Wenzel
2001-09-04tuned;Makarius Wenzel
2001-09-04no need to adjust the path to bash on the first line (due to /usr/bin/env);Makarius Wenzel
2001-09-03Set proof-goal-with-hole-regexpDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2001-08-31handle relative heap paths gracefully;Makarius Wenzel
2001-08-31back to *official* Isabelle99-2 (later Isabelle dists will provideMakarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 14:02:25 +0000