aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* tuned faces;Gravatar Makarius Wenzel1999-11-22
* Typo.Gravatar David Aspinall1999-11-18
* cleaned;Gravatar Makarius Wenzel1999-11-17
* Comment out some obsolete/unecessary stuff. Add X-Symbol supportGravatar David Aspinall1999-11-17
* Support for X-SymbolGravatar David Aspinall1999-11-17
* fixed indentation bug: use proof-looking-at (proof-case-fold-search);Gravatar Makarius Wenzel1999-11-10
* improved proof-shell-error-regexp;Gravatar Makarius Wenzel1999-10-29
* (try_)context_thy_only;Gravatar Makarius Wenzel1999-10-27
* tuned proof-shell-error-regexp;Gravatar Makarius Wenzel1999-10-26
* ProofGeneral.kill_proof: clears goals buffer;Gravatar Makarius Wenzel1999-10-26
* replaced remove_thy by kill_thy (more robust);Gravatar Makarius Wenzel1999-10-26
* added kill_thy, touch_child_thys;Gravatar Makarius Wenzel1999-10-26
* isar-remove-file: compare basenames only;Gravatar Makarius Wenzel1999-10-22
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
* theory loader actions now that of PG/isa;Gravatar Makarius Wenzel1999-10-20
* added ML_command;Gravatar Makarius Wenzel1999-10-20
* added isar-detect-header;Gravatar Makarius Wenzel1999-10-19
* Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.Gravatar David Aspinall1999-10-19
* let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Gravatar Makarius Wenzel1999-10-15
* renamed verbatim/verb to text_raw/txt_raw;Gravatar Makarius Wenzel1999-10-14
* proof-shell-cd: isar-verbatim no longer required;Gravatar Makarius Wenzel1999-10-07
* replaced "clear_undo" to "clear_undos";Gravatar Makarius Wenzel1999-10-07
* Made new command proof-cd to cd to the directory of the currentGravatar David Aspinall1999-10-06
* Fixed proof-showproof-commandGravatar David Aspinall1999-10-06
* isar-keywords-proof-asm-goal;Gravatar Makarius Wenzel1999-10-01
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;Gravatar Makarius Wenzel1999-09-30
* proof-find-theorems-command "thms_containing %s;";Gravatar Makarius Wenzel1999-09-30
* added isar-verbatim;Gravatar Makarius Wenzel1999-09-26
* added thms_containing, ML_setup;Gravatar Makarius Wenzel1999-09-26
* proof-shell-proof-completed-regexp nil;Gravatar Makarius Wenzel1999-09-25
* Isabelle term / type hiliting;Gravatar Makarius Wenzel1999-09-24
* tuned;Gravatar Makarius Wenzel1999-09-24
* unified example with other proof assistants;Gravatar Makarius Wenzel1999-09-24
* lemma and_comms;Gravatar Makarius Wenzel1999-09-21
* proof-shell-restart-cmd: include welcome;Gravatar Makarius Wenzel1999-09-03
* usage: tell PROOFGENERAL_OPTIONS;Gravatar Makarius Wenzel1999-09-03
* fixed isar-find-and-forget (proper handling of multiple undos);Gravatar Makarius Wenzel1999-08-29
* tuned;Gravatar Makarius Wenzel1999-08-29
* isar-response-mode;Gravatar Makarius Wenzel1999-08-24
* some output syntax;Gravatar Makarius Wenzel1999-08-24
* font-lock-function-face -> font-lock-function-name-faceGravatar David Aspinall1999-08-23
* print_context;Gravatar Makarius Wenzel1999-08-23
* print_context;Gravatar Makarius Wenzel1999-08-20
* tuned;Gravatar Makarius Wenzel1999-08-18
* proof-shell-start-goals-regexp: include \n;Gravatar Makarius Wenzel1999-08-18
* deactivated isar-font-lock-terms (currently useless);Gravatar Makarius Wenzel1999-08-18
* replaced 'ProofGeneral' by 'Proof General';Gravatar Makarius Wenzel1999-08-18
* disable_pr, enable_pr;Gravatar Makarius Wenzel1999-08-16
* updated;Gravatar Makarius Wenzel1999-08-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 01:04:44 +0000