aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* Set version tag for new release.Gravatar Thomas Kleymann1998-10-30
* replaced some occurences of (current-buffer) by proof-shell-buffer toGravatar Thomas Kleymann1998-10-30
* Added install to distall targetGravatar David Aspinall1998-10-29
* Added distall targetGravatar David Aspinall1998-10-29
* todo file was specifically excluded from distribution areaGravatar David Aspinall1998-10-29
* Changed <target>.devel into devel.<target> cos I find it easier to think ofGravatar David Aspinall1998-10-29
* More notesGravatar David Aspinall1998-10-29
* Reverted to old file, v 2.9Gravatar David Aspinall1998-10-29
* New documentation file, WIP so shouldn't be release on web page.Gravatar David Aspinall1998-10-29
* Added note about what to do if releaseall failsGravatar David Aspinall1998-10-29
* Set version tag for new release.Gravatar David Aspinall1998-10-29
* Fixes for multiple files. More defcustoms.Gravatar David Aspinall1998-10-29
* Added automatic <prover>-config customize groupGravatar David Aspinall1998-10-29
* Ran tests for Isabelle. Added another test case.Gravatar David Aspinall1998-10-29
* Multiple files bug fix requestGravatar David Aspinall1998-10-29
* Example theory fileGravatar David Aspinall1998-10-29
* More scholarly notes (ha-ha).Gravatar David Aspinall1998-10-29
* Added some notes about a putative academic paper on Proof GeneralGravatar David Aspinall1998-10-29
* Crudely hacked Isabelle image onto splash screen.Gravatar David Aspinall1998-10-29
* Items removed, items added.Gravatar David Aspinall1998-10-29
* Added plain isabelle imageGravatar David Aspinall1998-10-29
* Fixed bug in proof-shell-process-urgent-message (preserve point).Gravatar David Aspinall1998-10-29
* Begun work on adding more special annotations for Isabelle.Gravatar David Aspinall1998-10-29
* Clarifying comment about obscure variable addedGravatar David Aspinall1998-10-29
* Begun section on adding new assistantGravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Added tags targetGravatar David Aspinall1998-10-29
* Fixed requires for FSF Emacs.Gravatar David Aspinall1998-10-29
* Added prefixes in custom defgroups.Gravatar David Aspinall1998-10-29
* Improved behaviour of Isabelle multiple files: don't retract parent theory.Gravatar David Aspinall1998-10-28
* Images for texi fileGravatar David Aspinall1998-10-28
* Some experimental code addedGravatar David Aspinall1998-10-28
* Added low-level priority todoGravatar David Aspinall1998-10-28
* Begun rewriting docsGravatar David Aspinall1998-10-28
* Added autoload for proof-shell-available-pGravatar David Aspinall1998-10-28
* Added proof-toolbar-follow-mode user option and functions to supportGravatar David Aspinall1998-10-28
* Added customize group for Proof General faces and fixed otherGravatar David Aspinall1998-10-28
* Fixed bug in Isabelle count undos. Now uses undo instead of choplev.Gravatar David Aspinall1998-10-28
* Set version tag for new release.Gravatar proofgen1998-10-28
* Set version tag for new release.Gravatar proofgen1998-10-28
* rearranged code to avoid compiler warning messagesGravatar Thomas Kleymann1998-10-28
* CommentsGravatar David Aspinall1998-10-27
* Added generic target <develtarget>.develGravatar David Aspinall1998-10-27
* Byte comp itemGravatar David Aspinall1998-10-27
* Continuing mods for cleaner byte compileGravatar David Aspinall1998-10-27
* Mods for cleaner byte compileGravatar David Aspinall1998-10-27
* Removed junk from cvs mergeGravatar David Aspinall1998-10-27
* Splash screen added back. Put in Xemacs test for noninteractive toGravatar David Aspinall1998-10-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 20:53:34 +0000