aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* 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
* removed obsolete stuff stemming from isa.el;Gravatar Makarius Wenzel1999-07-29
* fixed proof-goal-command;Gravatar Makarius Wenzel1999-07-28
* fixed Id;Gravatar Makarius Wenzel1999-07-28
* pretty_setmargin;Gravatar Makarius Wenzel1999-07-28
* isar-init-syntax-table now in isar-syntax.el;Gravatar Makarius Wenzel1999-07-27
* isar-name-regexp: group result;Gravatar Makarius Wenzel1999-07-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-26 12:23:01 +0000