aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
1999-12-30fixed isar-keywords-local-goal-regexp;Makarius Wenzel
1999-11-22tuned faces;Makarius Wenzel
1999-11-18Typo.David Aspinall
1999-11-17cleaned;Makarius Wenzel
1999-11-17Comment out some obsolete/unecessary stuff. Add X-Symbol supportDavid Aspinall
1999-11-17Support for X-SymbolDavid Aspinall
1999-11-10fixed indentation bug: use proof-looking-at (proof-case-fold-search);Makarius Wenzel
1999-10-29improved proof-shell-error-regexp;Makarius Wenzel
1999-10-27(try_)context_thy_only;Makarius Wenzel
1999-10-26tuned proof-shell-error-regexp;Makarius Wenzel
1999-10-26ProofGeneral.kill_proof: clears goals buffer;Makarius Wenzel
1999-10-26replaced remove_thy by kill_thy (more robust);Makarius Wenzel
1999-10-26added kill_thy, touch_child_thys;Makarius Wenzel
1999-10-22isar-remove-file: compare basenames only;Makarius Wenzel
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-20theory loader actions now that of PG/isa;Makarius Wenzel
1999-10-20added ML_command;Makarius Wenzel
1999-10-19added isar-detect-header;Makarius Wenzel
1999-10-19Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.David Aspinall
1999-10-15let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Makarius Wenzel
1999-10-14renamed verbatim/verb to text_raw/txt_raw;Makarius Wenzel
1999-10-07proof-shell-cd: isar-verbatim no longer required;Makarius Wenzel
1999-10-07replaced "clear_undo" to "clear_undos";Makarius Wenzel
1999-10-06Made new command proof-cd to cd to the directory of the currentDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 18:43:58 +0000