aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Added docstringGravatar David Aspinall1998-11-03
* Removed FIXMEGravatar David Aspinall1998-11-03
* Customization group and type fixesGravatar David Aspinall1998-11-03
* Func menu problems, note addedGravatar David Aspinall1998-11-03
* Note added.Gravatar David Aspinall1998-11-03
* Improved docstringsGravatar David Aspinall1998-11-03
* added FIXME note on maybe using regexp-optGravatar David Aspinall1998-11-03
* Added menu made from toolbar commands, called "Scripting".Gravatar David Aspinall1998-11-03
* Renamed a couple of menu functions in case of later makingGravatar David Aspinall1998-11-03
* Promoted proof-window-dedicated to be a user option, andGravatar David Aspinall1998-11-03
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-03
* fixed bug with font-lock face namesGravatar Thomas Kleymann1998-11-03
* A* Fix display handling problems (tms, all week)Gravatar Thomas Kleymann1998-11-03
* Proof General no longer moves point in the current-bufferGravatar Thomas Kleymann1998-11-02
* Quick fix for multiple file problem when current scripting buffer is retracte...Gravatar David Aspinall1998-11-02
* Proof General no longer changes selected window/buffer under your feet.Gravatar Thomas Kleymann1998-11-02
* Set version tag for new release.Gravatar Thomas Kleymann1998-11-02
* fixed minor bugsGravatar Thomas Kleymann1998-11-02
* 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
* Set version tag for new release.Gravatar David Aspinall1998-10-29
* Added automatic <prover>-config customize groupGravatar David Aspinall1998-10-29
* Crudely hacked Isabelle image onto splash screen.Gravatar David Aspinall1998-10-29
* Fixed bug in proof-shell-process-urgent-message (preserve point).Gravatar David Aspinall1998-10-29
* Clarifying comment about obscure variable addedGravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Fixed requires for FSF Emacs.Gravatar David Aspinall1998-10-29
* Added prefixes in custom defgroups.Gravatar David Aspinall1998-10-29
* 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
* 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
* Continuing mods for cleaner byte compileGravatar David Aspinall1998-10-27
* Splash screen added back. Put in Xemacs test for noninteractive toGravatar David Aspinall1998-10-27
* More fixes for cleaner byte compile.Gravatar David Aspinall1998-10-27
* Removed eval-when-compile around define-derived-mode, it don't work.Gravatar David Aspinall1998-10-27
* Made handling of multiple files more robust. On changing scriptGravatar Thomas Kleymann1998-10-27
* Fixed up proof-script.el for clean byte compileGravatar David Aspinall1998-10-27
* typoGravatar David Aspinall1998-10-27
* Fix of byte compiler warnings for proof-script.el.Gravatar David Aspinall1998-10-27
* Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.Gravatar David Aspinall1998-10-27
* Fixes for clean byte compileGravatar David Aspinall1998-10-27
* Added more comments to proof-activate-scriptingGravatar David Aspinall1998-10-27
* Added FIXME question about moving point.Gravatar David Aspinall1998-10-27
* Removed bug introduced by da trying to do clever optimizationsGravatar David Aspinall1998-10-27
* Temp disable splashGravatar David Aspinall1998-10-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 21:58:47 +0000