aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Added "Changing faces" section.Gravatar David Aspinall1998-11-12
* Removed some Emacs jargon from features list.Gravatar David Aspinall1998-11-12
* added entry to convert dvi into ps.Gravatar Thomas Kleymann1998-11-10
* (briefly) documented problem with sections in CoqGravatar Thomas Kleymann1998-11-10
* documented problem with Discharge in LEGOGravatar Thomas Kleymann1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* 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 section on multiple filesGravatar Thomas Kleymann1998-11-09
* Added section on Isabelle specific bugs.Gravatar David Aspinall1998-11-09
* Added acknowledgements to doc. Removed from code.Gravatar David Aspinall1998-11-09
* 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
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* completed chapter on LEGO Proof GeneralGravatar Thomas Kleymann1998-11-05
* 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
* Minor fixesGravatar David Aspinall1998-11-04
* Fixes and improvementsGravatar David Aspinall1998-11-03
* Added more content. Texi a Bit buggyGravatar David Aspinall1998-11-03
* Corrected credit for original texiGravatar David Aspinall1998-11-03
* Began documentation of options, plus other thingsGravatar David Aspinall1998-11-03
* Minor improvementsGravatar David Aspinall1998-11-03
* Updated NewDoc contents and added chapter assignmentsGravatar David Aspinall1998-11-02
* fixed texi typosGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* 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
* 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
* Begun section on adding new assistantGravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Images for texi fileGravatar David Aspinall1998-10-28
* Begun rewriting docsGravatar David Aspinall1998-10-28
* Added suggested outline for improved texiGravatar David Aspinall1998-10-26
* Added fume-func doc noteGravatar David Aspinall1998-10-23
* minor changeGravatar Thomas Kleymann1998-10-22
* Added notes on Isa multi files, web page improvementsGravatar David Aspinall1998-10-22
* Isabelle version addedGravatar David Aspinall1998-10-21
* added specification for a more generic mechanism for large undosGravatar Thomas Kleymann1998-10-18
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* Added .ignore for documentation targets and intermediates.Gravatar David Aspinall1998-10-15
* Bug in texiGravatar David Aspinall1998-10-14
* Other small improvements to adding new proof assistant section.Gravatar David Aspinall1998-10-14
* Minor change to notes on adding a new assistant, menu nameGravatar David Aspinall1998-10-14
* Notes about things to put in docs.Gravatar David Aspinall1998-10-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 21:59:38 +0000