aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar.el
Commit message (Expand)AuthorAge
* Removed spurious code in isar-mode function.Gravatar David Aspinall2000-05-25
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
* replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsGravatar Makarius Wenzel2000-05-22
* isar-verbatim-regexp: include \n;Gravatar Makarius Wenzel2000-05-19
* re-use isa/interface-setup.el rather than separate isar version;Gravatar Makarius Wenzel2000-05-17
* Modification of proof-shell-init-cmd. Markus, please help...Gravatar David Aspinall2000-05-12
* Load isabelle-system file shared with Isabelle Proof General.Gravatar David Aspinall2000-05-11
* Default to isa-mode or isar-mode according to first one invoked.Gravatar David Aspinall2000-05-05
* isar-indent regexps moved to isar-syntax.el;Gravatar Makarius Wenzel2000-04-25
* fixed proof-mode-for-goals;Gravatar Makarius Wenzel2000-04-12
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* improved print_mode switch;Gravatar Makarius Wenzel2000-04-05
* Attempt to fix filename mess for Windows.Gravatar David Aspinall2000-03-24
* Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...Gravatar David Aspinall2000-03-22
* Fix other file commands to use %e substitution.Gravatar David Aspinall2000-03-22
* Use new format character %s to %e to cope with nasty filenames with backslashes.Gravatar David Aspinall2000-03-22
* transparent cd;Gravatar Makarius Wenzel2000-03-22
* Added setting for silent mode.Gravatar David Aspinall2000-03-19
* tuned indentation code;Gravatar Makarius Wenzel2000-02-09
* Fixes for short output duplication problem: set proof-shell-eager-annotation-...Gravatar David Aspinall2000-01-06
* 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
* 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
* tuned proof-shell-error-regexp;Gravatar Makarius Wenzel1999-10-26
* ProofGeneral.kill_proof: clears goals buffer;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 isar-detect-header;Gravatar Makarius Wenzel1999-10-19
* Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.Gravatar David Aspinall1999-10-19
* proof-shell-cd: isar-verbatim no longer required;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
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* proof-find-theorems-command "thms_containing %s;";Gravatar Makarius Wenzel1999-09-30
* added isar-verbatim;Gravatar Makarius Wenzel1999-09-26
* proof-shell-proof-completed-regexp nil;Gravatar Makarius Wenzel1999-09-25
* proof-shell-restart-cmd: include welcome;Gravatar Makarius Wenzel1999-09-03
* fixed isar-find-and-forget (proper handling of multiple undos);Gravatar Makarius Wenzel1999-08-29
* isar-response-mode;Gravatar Makarius Wenzel1999-08-24
* print_context;Gravatar Makarius Wenzel1999-08-20
* proof-shell-start-goals-regexp: include \n;Gravatar Makarius Wenzel1999-08-18
* removed obsolete stuff stemming from isa.el;Gravatar Makarius Wenzel1999-07-29
* fixed proof-goal-command;Gravatar Makarius Wenzel1999-07-28
* isar-init-syntax-table now in isar-syntax.el;Gravatar Makarius Wenzel1999-07-27
* isar-stack-to-indent: indent according to (current-column) of open cmd;Gravatar Makarius Wenzel1999-07-08
* fixed some regexps via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* isar-preprocessing: sync markers;Gravatar Makarius Wenzel1999-06-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 01:57:16 +0000