aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
1999-10-06Fixed proof-showproof-commandDavid Aspinall
1999-10-01isar-keywords-proof-asm-goal;Makarius Wenzel
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-09-30replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;Makarius Wenzel
1999-09-30proof-find-theorems-command "thms_containing %s;";Makarius Wenzel
1999-09-26added isar-verbatim;Makarius Wenzel
1999-09-26added thms_containing, ML_setup;Makarius Wenzel
1999-09-25proof-shell-proof-completed-regexp nil;Makarius Wenzel
1999-09-24Isabelle term / type hiliting;Makarius Wenzel
1999-09-24tuned;Makarius Wenzel
1999-09-24unified example with other proof assistants;Makarius Wenzel
1999-09-21lemma and_comms;Makarius Wenzel
1999-09-03proof-shell-restart-cmd: include welcome;Makarius Wenzel
1999-09-03usage: tell PROOFGENERAL_OPTIONS;Makarius Wenzel
1999-08-29fixed isar-find-and-forget (proper handling of multiple undos);Makarius Wenzel
1999-08-29tuned;Makarius Wenzel
1999-08-24isar-response-mode;Makarius Wenzel
1999-08-24some output syntax;Makarius Wenzel
1999-08-23font-lock-function-face -> font-lock-function-name-faceDavid Aspinall
1999-08-23print_context;Makarius Wenzel
1999-08-20print_context;Makarius Wenzel
1999-08-18tuned;Makarius Wenzel
1999-08-18proof-shell-start-goals-regexp: include \n;Makarius Wenzel
1999-08-18deactivated isar-font-lock-terms (currently useless);Makarius Wenzel
1999-08-18replaced 'ProofGeneral' by 'Proof General';Makarius Wenzel
1999-08-16disable_pr, enable_pr;Makarius Wenzel
1999-08-03updated;Makarius Wenzel
1999-07-29removed obsolete stuff stemming from isa.el;Makarius Wenzel
1999-07-28fixed proof-goal-command;Makarius Wenzel
1999-07-28fixed Id;Makarius Wenzel
1999-07-28pretty_setmargin;Makarius Wenzel
1999-07-27isar-init-syntax-table now in isar-syntax.el;Makarius Wenzel
1999-07-27isar-name-regexp: group result;Makarius Wenzel
1999-07-27updated;Makarius Wenzel
1999-07-24please ignore (back to 1.1);Makarius Wenzel
1999-07-24*** empty log message ***Makarius Wenzel
1999-07-22removed 'break';Makarius Wenzel
1999-07-09added def;Makarius Wenzel
1999-07-08added concl, thence;Makarius Wenzel
1999-07-08isar-stack-to-indent: indent according to (current-column) of open cmd;Makarius Wenzel
1999-07-06removed prev, up, top;Makarius Wenzel
1999-07-02fixed some regexps via proof-anchor-regexp;Makarius Wenzel
1999-07-02added "sorry" proof;Makarius Wenzel
1999-07-02"txt" keyword;Makarius Wenzel
1999-07-01isar-keywords-proof-asm;Makarius Wenzel
1999-06-30isar-preprocessing: sync markers;Makarius Wenzel
1999-06-28updated;Makarius Wenzel
1999-06-04updated;Makarius Wenzel
1999-05-27oops;Makarius Wenzel
1999-05-27removed junk;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 10:02:02 +0000