index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
Commit message (
Expand
)
Author
Age
...
*
Fixed up proof-shell-proof-completed mess nicely.
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
*
Added provisional commands for enabling/disabling printing.
David Aspinall
2000-04-04
*
Save as Example.ML, except using X-Symbol input tokens.
David Aspinall
2000-04-04
*
Fix accidently introduced bug with passing full paths to theory loader.
David Aspinall
2000-04-04
*
Removed pg_saved_gl which was for testing.
David Aspinall
2000-03-24
*
Do need to strip drive name as Jacques discovered.
David Aspinall
2000-03-24
*
Fix name of win32-long-file-name used as check.
David Aspinall
2000-03-24
*
Quoted backslashes.
David Aspinall
2000-03-24
*
Sensible default for Windows invoking Isabelle
David Aspinall
2000-03-24
*
Attempt to fix filename mess for Windows.
David Aspinall
2000-03-24
*
Updated Isabelle home page.
David Aspinall
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
*
Added settings for silent control.
David Aspinall
2000-03-19
*
New/updated information files
David Aspinall
2000-03-13
*
Docstrings
David Aspinall
2000-03-10
*
Added menu item to switch to script buffer, C-c C-o key.
David Aspinall
2000-03-10
*
Updated headers.
David Aspinall
2000-03-09
*
Updated
David Aspinall
2000-03-09
*
Added README files for each prover, summarizing status.
David Aspinall
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
*
option -x: enable x-symbol package;
Makarius Wenzel
2000-02-11
*
setup proof-shell-pre-interrupt-hook for Poly/ML;
Makarius Wenzel
2000-02-10
*
fixed proof-shell-error-regexp;
Makarius Wenzel
2000-02-07
*
Comments
David Aspinall
2000-01-12
*
Fixes for short output duplication problem: set proof-shell-eager-annotation-...
David Aspinall
2000-01-06
*
Change SML minor mode binding to C-c C-m, avoiding clash with
David Aspinall
1999-11-29
*
Add universal keys to theory mode
David Aspinall
1999-11-29
*
Fix to proof-shell-proof-completed-regexp by reverting to previous version.
David Aspinall
1999-11-26
*
Made thy-indent-level a user opt.
David Aspinall
1999-11-24
*
Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by Markus
David Aspinall
1999-11-23
*
tuned faces;
Makarius Wenzel
1999-11-22
*
Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use thi...
David Aspinall
1999-11-19
*
Failed attempt to trap C-g during try-update-thy. Left as comments.
David Aspinall
1999-11-18
*
Remove some obsolete/unecessary stuff.
David Aspinall
1999-11-17
*
Cleanups and a bit more highlighting
David Aspinall
1999-11-16
*
Matching goals regexp. Comments.
David Aspinall
1999-11-16
*
Removed font-lock settings. Set proof-font-lock-zap-commas=t
David Aspinall
1999-11-15
*
Many robustness improvements for error and interrupt handling:
David Aspinall
1999-11-14
*
More highlighting
David Aspinall
1999-11-14
*
proof-nested-goals-allowed -> proof-completed-proof-behaviour
David Aspinall
1999-11-14
*
More theory file sections
David Aspinall
1999-11-12
*
Fixes for Isabelle in case theory file is visited before script file.
David Aspinall
1999-11-12
[prev]
[next]