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
...
*
Fix for splash hack for theory files when proo-splash-inhibit=t.
David Aspinall
1998-12-10
*
Added clear-goals-buffer stuff, asked for response to be left after use_thy.
David Aspinall
1998-11-26
*
Cleaned up, and made use_thy remove ML file from DB properly;
David Aspinall
1998-11-25
*
Documentation improvements.
David Aspinall
1998-11-25
*
FSF Emacs fix for buffer-file-truename, which is the
David Aspinall
1998-11-25
*
Fixed show_context
David Aspinall
1998-11-25
*
Fixes to debug long standing not-showing-first-goal problem.
David Aspinall
1998-11-25
*
Added Isamode-like keybinding C-c C-l for proof-prf.
David Aspinall
1998-11-25
*
Docstring fixes, minor improvements.
David Aspinall
1998-11-25
*
Docstring fixes
David Aspinall
1998-11-25
*
Improvements for multiple files and robustness: keep a copy of
David Aspinall
1998-11-20
*
Improvements for multiple files. Now saves state specially for ProofGeneral.
David Aspinall
1998-11-18
*
Added isa-update function. Altered settings.
David Aspinall
1998-11-18
*
Fixed problem with list_loaded_files and update().
David Aspinall
1998-11-18
*
Added Proof General menu to theory file mode.
David Aspinall
1998-11-18
*
Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral
David Aspinall
1998-11-18
*
Improvements and cleanups:
David Aspinall
1998-11-18
*
new file to factor out improved theory reader junk.
David Aspinall
1998-11-18
*
Bug in regexp
David Aspinall
1998-11-12
*
In a fit of autocracy, removed proof-tags-support, binding for
David Aspinall
1998-11-12
*
Fixed error regexp
David Aspinall
1998-11-12
*
Fixed a regexp.
David Aspinall
1998-11-12
*
Replaced custom-set-variables with customize-set-variable:
David Aspinall
1998-11-12
*
Disabled problematic requires temporarily.
David Aspinall
1998-11-10
*
Removed references of proof-shell-noise-regexp
Thomas Kleymann
1998-11-10
*
Fixes for byte compilations and missing bits of Isamode.
David Aspinall
1998-11-10
*
Removed superfluous variable. Improved docstrings.
David Aspinall
1998-11-09
*
Added prefix arg to thy-find-other-file to use same window
David Aspinall
1998-11-06
*
Added key binding to switch between theory and ML files.
David Aspinall
1998-11-04
*
Reimplemented thy-find-other-file
David Aspinall
1998-11-04
*
Disabled annotated prompts because of strange bug.
David Aspinall
1998-11-03
*
More regexp improvements
David Aspinall
1998-11-03
*
Work on improving regular expressions for Isabelle.
David Aspinall
1998-11-03
*
fixed bug with font-lock face names
Thomas Kleymann
1998-11-03
*
Changes suggested by Markus Wenzel
David Aspinall
1998-11-02
*
fixed minor bugs
Thomas Kleymann
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
Fixes for multiple files. More defcustoms.
David Aspinall
1998-10-29
*
Example theory file
David Aspinall
1998-10-29
*
Crudely hacked Isabelle image onto splash screen.
David Aspinall
1998-10-29
*
Begun work on adding more special annotations for Isabelle.
David Aspinall
1998-10-29
*
More hacks to variable names for customize (sorry)
David Aspinall
1998-10-29
*
Improved behaviour of Isabelle multiple files: don't retract parent theory.
David Aspinall
1998-10-28
*
Some experimental code added
David Aspinall
1998-10-28
*
Fixed bug in Isabelle count undos. Now uses undo instead of choplev.
David Aspinall
1998-10-28
*
Mods for cleaner byte compile
David Aspinall
1998-10-27
*
Begun work on clean byte compilation / clarifying interfaces.
David Aspinall
1998-10-27
*
Fixed urgent message stuff. proof-shell-process-urgent-messages
David Aspinall
1998-10-27
*
Renamed proof-invisible-command proof-shell-invisible-command.
David Aspinall
1998-10-27
*
Work on Isabelle theory reader.
David Aspinall
1998-10-27
[prev]
[next]