aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Refresh response buffer when goals buffer is refreshed.Gravatar Thomas Kleymann1998-11-10
* Fixes for byte compilations and missing bits of Isamode.Gravatar David Aspinall1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* introduced section for FSF EmacsGravatar Thomas Kleymann1998-11-10
* Removed superfluous variable. Improved docstrings.Gravatar David Aspinall1998-11-09
* Added docstringGravatar David Aspinall1998-11-09
* Updated user-view of our todoGravatar David Aspinall1998-11-09
* More reorganization. Added content to Isabelle chapter, begun basic script.Gravatar David Aspinall1998-11-09
* Added proof-rsh-command to help complete documentation (was allocatedGravatar David Aspinall1998-11-09
* Added bug about FSFmacs/proof-strict-read-only=t/font-lockGravatar David Aspinall1998-11-09
* Added proof-script-indent user option, to enable indentation code.Gravatar David Aspinall1998-11-09
* Added section on multiple filesGravatar Thomas Kleymann1998-11-09
* Added section on Isabelle specific bugs.Gravatar David Aspinall1998-11-09
* Reduced a priority. Added release todoGravatar David Aspinall1998-11-09
* Added proof-strict-read-only, probably a handy new user-option.Gravatar David Aspinall1998-11-09
* Added acknowledgements to doc. Removed from code.Gravatar David Aspinall1998-11-09
* new maintainer for LEGO Proof GeneralGravatar Thomas Kleymann1998-11-06
* Added prefix arg to thy-find-other-file to use same windowGravatar David Aspinall1998-11-06
* (Failed) Attempt to recognize XEmacs with broken jpeg supportGravatar David Aspinall1998-11-06
* Added plea for help and made logo in intro only for HTML.Gravatar David Aspinall1998-11-06
* Nasty things no longer happen, can't load Proof General more than onceGravatar David Aspinall1998-11-06
* Give error message when attempting to load a second instance of ProofGravatar David Aspinall1998-11-06
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* completed chapter on LEGO Proof GeneralGravatar Thomas Kleymann1998-11-05
* Set version tag for new release.Gravatar David Aspinall1998-11-04
* o consistent formatting of section headingsGravatar Thomas Kleymann1998-11-04
* Revised section on Advanced Script ManagementGravatar Thomas Kleymann1998-11-04
* added a FIXME comment for non-pertinent buffersGravatar Thomas Kleymann1998-11-04
* first draft of Advanced Script Management section; I assume there willGravatar Thomas Kleymann1998-11-04
* Added key binding to switch between theory and ML files.Gravatar David Aspinall1998-11-04
* Added item for func-menu and proof-save-goal-with-hole-regexpGravatar David Aspinall1998-11-04
* Reimplemented thy-find-other-fileGravatar David Aspinall1998-11-04
* Minor fixesGravatar David Aspinall1998-11-04
* Being pedantic about variables versus predicates, renamed prog-name-ask-p.Gravatar David Aspinall1998-11-03
* Fixes and improvementsGravatar David Aspinall1998-11-03
* Added more content. Texi a Bit buggyGravatar David Aspinall1998-11-03
* release now should make links to -latest names for fixed URLs. (needs testing)Gravatar David Aspinall1998-11-03
* Updated and improved.Gravatar David Aspinall1998-11-03
* Corrected credit for original texiGravatar David Aspinall1998-11-03
* Added two new todosGravatar David Aspinall1998-11-03
* Added docstringGravatar David Aspinall1998-11-03
* Removed FIXMEGravatar David Aspinall1998-11-03
* Disabled annotated prompts because of strange bug.Gravatar David Aspinall1998-11-03
* Fixed multiple file bugGravatar David Aspinall1998-11-03
* Began documentation of options, plus other thingsGravatar David Aspinall1998-11-03
* Customization group and type fixesGravatar David Aspinall1998-11-03
* Customization problems todoGravatar David Aspinall1998-11-03
* Func menu problems, note addedGravatar David Aspinall1998-11-03
* More regexp improvementsGravatar David Aspinall1998-11-03
* Note added.Gravatar David Aspinall1998-11-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-23 04:56:26 +0000