aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1998-11-02Quick fix for multiple file problem when current scripting buffer is ↵David Aspinall
retracted by prover.
1998-11-02Proof General no longer changes selected window/buffer under your feet.Thomas Kleymann
1998-11-02Removed duplicate distclean targetDavid Aspinall
1998-11-02fixed texi typosThomas Kleymann
1998-11-02Set version tag for new release.Thomas Kleymann
1998-11-02fixed minor bugsThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
reserved for goals.
1998-10-30Set version tag for new release.Thomas Kleymann
1998-10-30replaced some occurences of (current-buffer) by proof-shell-buffer toThomas Kleymann
make code more robust
1998-10-29Added install to distall targetDavid Aspinall
1998-10-29Added distall targetDavid Aspinall
1998-10-29todo file was specifically excluded from distribution areaDavid Aspinall
1998-10-29Changed <target>.devel into devel.<target> cos I find it easier to think ofDavid Aspinall
1998-10-29More notesDavid Aspinall
1998-10-29Reverted to old file, v 2.9David Aspinall
1998-10-29New documentation file, WIP so shouldn't be release on web page.David Aspinall
1998-10-29Added note about what to do if releaseall failsDavid Aspinall
1998-10-29Set version tag for new release.David Aspinall
1998-10-29Fixes for multiple files. More defcustoms.David Aspinall
1998-10-29Added automatic <prover>-config customize groupDavid Aspinall
1998-10-29Ran tests for Isabelle. Added another test case.David Aspinall
1998-10-29Multiple files bug fix requestDavid Aspinall
1998-10-29Example theory fileDavid Aspinall
1998-10-29More scholarly notes (ha-ha).David Aspinall
1998-10-29Added some notes about a putative academic paper on Proof GeneralDavid Aspinall
1998-10-29Crudely hacked Isabelle image onto splash screen.David Aspinall
1998-10-29Items removed, items added.David Aspinall
1998-10-29Added plain isabelle imageDavid Aspinall
1998-10-29Fixed bug in proof-shell-process-urgent-message (preserve point).David Aspinall
1998-10-29Begun work on adding more special annotations for Isabelle.David Aspinall
1998-10-29Clarifying comment about obscure variable addedDavid Aspinall
1998-10-29Begun section on adding new assistantDavid Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-29Added tags targetDavid Aspinall
1998-10-29Fixed requires for FSF Emacs.David Aspinall
Patched (old bug?) in proof-response-buffer-display, how did it come back?
1998-10-29Added prefixes in custom defgroups.David Aspinall
1998-10-28Improved behaviour of Isabelle multiple files: don't retract parent theory.David Aspinall
1998-10-28Images for texi fileDavid Aspinall
1998-10-28Some experimental code addedDavid Aspinall
1998-10-28Added low-level priority todoDavid Aspinall
1998-10-28Begun rewriting docsDavid Aspinall
1998-10-28Added autoload for proof-shell-available-pDavid Aspinall
1998-10-28Added proof-toolbar-follow-mode user option and functions to supportDavid Aspinall
it. Removed require on proof-shell from proof-toolbar.
1998-10-28Added customize group for Proof General faces and fixed otherDavid Aspinall
groups in proof-config.
1998-10-28Fixed bug in Isabelle count undos. Now uses undo instead of choplev.David Aspinall
1998-10-28Set version tag for new release.proofgen
1998-10-28Set version tag for new release.proofgen
1998-10-28rearranged code to avoid compiler warning messagesThomas Kleymann
1998-10-27CommentsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 00:08:24 +0000