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
...
*
pbp-mode -> goals-mode
David Aspinall
2000-04-07
*
tuned \<bottom>;
Makarius Wenzel
2000-04-06
*
tuned todo stuff;
Makarius Wenzel
2000-04-05
*
improved print_mode switch;
Makarius Wenzel
2000-04-05
*
'welcome' made diagnostic;
Makarius Wenzel
2000-04-05
*
eliminated 'as' keyword;
Makarius Wenzel
2000-04-05
*
added 'print_claset', 'print_simpset';
Makarius Wenzel
2000-04-04
*
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
[prev]
[next]