index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
isar
/
isar.el
Age
Commit message (
Expand
)
Author
1999-10-26
tuned proof-shell-error-regexp;
Makarius Wenzel
1999-10-26
ProofGeneral.kill_proof: clears goals buffer;
Makarius Wenzel
1999-10-22
isar-remove-file: compare basenames only;
Makarius Wenzel
1999-10-21
Changed name of proof-shell-cd-cmd for uniformity.
David Aspinall
1999-10-20
theory loader actions now that of PG/isa;
Makarius Wenzel
1999-10-19
added isar-detect-header;
Makarius Wenzel
1999-10-19
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.
David Aspinall
1999-10-07
proof-shell-cd: isar-verbatim no longer required;
Makarius Wenzel
1999-10-06
Made new command proof-cd to cd to the directory of the current
David Aspinall
1999-10-06
Fixed proof-showproof-command
David Aspinall
1999-10-01
Renamed some configuration variables for uniformity, see CHANGES.
David Aspinall
1999-09-30
proof-find-theorems-command "thms_containing %s;";
Makarius Wenzel
1999-09-26
added isar-verbatim;
Makarius Wenzel
1999-09-25
proof-shell-proof-completed-regexp nil;
Makarius Wenzel
1999-09-03
proof-shell-restart-cmd: include welcome;
Makarius Wenzel
1999-08-29
fixed isar-find-and-forget (proper handling of multiple undos);
Makarius Wenzel
1999-08-24
isar-response-mode;
Makarius Wenzel
1999-08-20
print_context;
Makarius Wenzel
1999-08-18
proof-shell-start-goals-regexp: include \n;
Makarius Wenzel
1999-07-29
removed obsolete stuff stemming from isa.el;
Makarius Wenzel
1999-07-28
fixed proof-goal-command;
Makarius Wenzel
1999-07-27
isar-init-syntax-table now in isar-syntax.el;
Makarius Wenzel
1999-07-08
isar-stack-to-indent: indent according to (current-column) of open cmd;
Makarius Wenzel
1999-07-02
fixed some regexps via proof-anchor-regexp;
Makarius Wenzel
1999-06-30
isar-preprocessing: sync markers;
Makarius Wenzel
1999-05-27
provide proof-string-start-regexp, proof-string-end-regexp;
Makarius Wenzel
1999-05-26
proper setup for indentation;
Makarius Wenzel
1999-05-25
tuned;
Makarius Wenzel
1999-05-23
replaced isar-keywords-section by isar-keywords-theory-heading;
Makarius Wenzel
1999-05-21
tuned;
Makarius Wenzel
1999-04-27
fixed proof-shell-quit-cmd;
Makarius Wenzel
1999-04-16
initial version of 'isar proof assistant (Isabelle/Isar);
Makarius Wenzel
[prev]
