index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
Commit message (
Expand
)
Author
Age
*
added 'ProofGeneral.undo';
Makarius Wenzel
2000-04-03
*
removed 'variables';
Makarius Wenzel
2000-03-27
*
Attempt to fix filename mess for Windows.
David Aspinall
2000-03-24
*
removed 'kill_proof';
Makarius Wenzel
2000-03-23
*
added 'moreover';
Makarius Wenzel
2000-03-23
*
Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...
David Aspinall
2000-03-22
*
Fix other file commands to use %e substitution.
David Aspinall
2000-03-22
*
Use new format character %s to %e to cope with nasty filenames with backslashes.
David Aspinall
2000-03-22
*
transparent cd;
Makarius Wenzel
2000-03-22
*
removed "thence";
Makarius Wenzel
2000-03-19
*
Updated
David Aspinall
2000-03-19
*
Added setting for silent mode.
David Aspinall
2000-03-19
*
New/updated information files
David Aspinall
2000-03-13
*
added 'case', 'print_cases';
Makarius Wenzel
2000-03-09
*
Split low-level todo into several files.
David Aspinall
2000-03-08
*
tuned electric-ignore;
Makarius Wenzel
2000-02-23
*
fix electric-ignore (due to DvO);
Makarius Wenzel
2000-02-15
*
isar-tac-regexp: 'font-lock-reference-face;
Makarius Wenzel
2000-02-14
*
removed then_apply;
Makarius Wenzel
2000-02-14
*
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
*
added "judgment";
Makarius Wenzel
2000-02-11
*
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
2000-02-10
*
tuned indentation code;
Makarius Wenzel
2000-02-09
*
added isar-keywords-qed-global, isar-global-save-command-regexp;
Makarius Wenzel
2000-02-09
*
added 'oops';
Makarius Wenzel
2000-02-09
*
added prefer, defer;
Makarius Wenzel
2000-01-28
*
Fixes for short output duplication problem: set proof-shell-eager-annotation-...
David Aspinall
2000-01-06
*
added "where";
Makarius Wenzel
2000-01-06
*
fixed isar-keywords-local-goal-regexp;
Makarius Wenzel
1999-12-30
*
tuned faces;
Makarius Wenzel
1999-11-22
*
Typo.
David Aspinall
1999-11-18
*
cleaned;
Makarius Wenzel
1999-11-17
*
Comment out some obsolete/unecessary stuff. Add X-Symbol support
David Aspinall
1999-11-17
*
Support for X-Symbol
David Aspinall
1999-11-17
*
fixed indentation bug: use proof-looking-at (proof-case-fold-search);
Makarius Wenzel
1999-11-10
*
improved proof-shell-error-regexp;
Makarius Wenzel
1999-10-29
*
(try_)context_thy_only;
Makarius Wenzel
1999-10-27
*
tuned proof-shell-error-regexp;
Makarius Wenzel
1999-10-26
*
ProofGeneral.kill_proof: clears goals buffer;
Makarius Wenzel
1999-10-26
*
replaced remove_thy by kill_thy (more robust);
Makarius Wenzel
1999-10-26
*
added kill_thy, touch_child_thys;
Makarius Wenzel
1999-10-26
*
isar-remove-file: compare basenames only;
Makarius Wenzel
1999-10-22
*
Changed name of proof-shell-cd-cmd for uniformity.
David Aspinall
1999-10-21
*
theory loader actions now that of PG/isa;
Makarius Wenzel
1999-10-20
*
added ML_command;
Makarius Wenzel
1999-10-20
*
added isar-detect-header;
Makarius Wenzel
1999-10-19
*
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.
David Aspinall
1999-10-19
*
let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;
Makarius Wenzel
1999-10-15
*
renamed verbatim/verb to text_raw/txt_raw;
Makarius Wenzel
1999-10-14
*
proof-shell-cd: isar-verbatim no longer required;
Makarius Wenzel
1999-10-07
[next]