aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-11-05completed chapter on LEGO Proof GeneralThomas Kleymann
1998-11-04Set version tag for new release.David Aspinall
1998-11-04o consistent formatting of section headingsThomas Kleymann
1998-11-04Revised section on Advanced Script ManagementThomas Kleymann
1998-11-04added a FIXME comment for non-pertinent buffersThomas Kleymann
1998-11-04first draft of Advanced Script Management section; I assume there willThomas Kleymann
1998-11-04Added key binding to switch between theory and ML files.David Aspinall
1998-11-04Added item for func-menu and proof-save-goal-with-hole-regexpDavid Aspinall
1998-11-04Reimplemented thy-find-other-fileDavid Aspinall
1998-11-04Minor fixesDavid Aspinall
1998-11-03Being pedantic about variables versus predicates, renamed prog-name-ask-p.David Aspinall
1998-11-03Fixes and improvementsDavid Aspinall
1998-11-03Added more content. Texi a Bit buggyDavid Aspinall
1998-11-03release now should make links to -latest names for fixed URLs. (needs testing)David Aspinall
1998-11-03Updated and improved.David Aspinall
1998-11-03Corrected credit for original texiDavid Aspinall
1998-11-03Added two new todosDavid Aspinall
1998-11-03Added docstringDavid Aspinall
1998-11-03Removed FIXMEDavid Aspinall
1998-11-03Disabled annotated prompts because of strange bug.David Aspinall
1998-11-03Fixed multiple file bugDavid Aspinall
1998-11-03Began documentation of options, plus other thingsDavid Aspinall
1998-11-03Customization group and type fixesDavid Aspinall
1998-11-03Customization problems todoDavid Aspinall
1998-11-03Func menu problems, note addedDavid Aspinall
1998-11-03More regexp improvementsDavid Aspinall
1998-11-03Note added.David Aspinall
1998-11-03Improved docstringsDavid Aspinall
1998-11-03Work on improving regular expressions for Isabelle.David Aspinall
1998-11-03Added some itemsDavid Aspinall
1998-11-03added FIXME note on maybe using regexp-optDavid Aspinall
1998-11-03Added menu made from toolbar commands, called "Scripting".David Aspinall
1998-11-03Minor improvementsDavid Aspinall
1998-11-03Renamed a couple of menu functions in case of later makingDavid Aspinall
1998-11-03Promoted proof-window-dedicated to be a user option, andDavid Aspinall
1998-11-03minor changesThomas Kleymann
1998-11-03Set version tag for new release.Thomas Kleymann
1998-11-03fixed bug with font-lock face namesThomas Kleymann
1998-11-03A* Fix display handling problems (tms, all week)Thomas Kleymann
1998-11-02Added menu item todoDavid Aspinall
1998-11-02Updated NewDoc contents and added chapter assignmentsDavid Aspinall
1998-11-02Changes suggested by Markus WenzelDavid Aspinall
1998-11-02Updates, removals and additionsDavid Aspinall
1998-11-02Proof General no longer moves point in the current-bufferThomas Kleymann
1998-11-02Quick fix for multiple file problem when current scripting buffer is retracte...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 11:35:08 +0000