aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1999-09-21
* UpdatedGravatar David Aspinall1999-09-13
* Set version tag for new release.Gravatar David Aspinall1999-09-13
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar David Aspinall1999-09-13
* Set version tag for new release.Gravatar David Aspinall1999-08-27
* Record of releasesGravatar David Aspinall1999-08-27
* Updated for 2.1Gravatar David Aspinall1999-08-27
* Fixed to include isar in distribution; made relocatable.Gravatar David Aspinall1999-08-25
* Set version tag for new release.Gravatar David Aspinall1999-08-24
* Set version tag for new release.Gravatar David Aspinall1999-08-23
* Set version tag for new release.Gravatar David Aspinall1999-08-23
* Mentioned a few testsGravatar David Aspinall1999-08-23
* Set version tag for new release.Gravatar David Aspinall1999-08-23
* Set version tag for new release.Gravatar David Aspinall1999-08-20
* based on Pure rather than Main (which didn't work because of Pure/CPure clash);Gravatar Makarius Wenzel1999-08-19
* Set version tag for new release.Gravatar David Aspinall1999-08-19
* Set version tag for new release.Gravatar David Aspinall1999-08-17
* Test files for multiple file handling with Isabelle/Isar;Gravatar Makarius Wenzel1999-07-29
* Set version tag for new release.Gravatar David Aspinall1999-07-22
* Set version tag for new release.Gravatar David Aspinall1999-07-16
* Set version tag for new release.Gravatar David Aspinall1999-07-07
* Set version tag for new release.Gravatar David Aspinall1999-07-03
* Set version tag for new release.Gravatar David Aspinall1999-07-02
* Set version tag for new release.Gravatar David Aspinall1999-07-01
* Simplified for new rpmGravatar David Aspinall1999-07-01
* Set version tag for new release.Gravatar David Aspinall1999-06-30
* Set version tag for new release.Gravatar David Aspinall1999-06-28
* Set version tag for new release.Gravatar proofgen1999-06-24
* Patched patch for updated proof-site.elGravatar David Aspinall1999-06-07
* Patched patch for updated proof-site.elGravatar David Aspinall1999-06-07
* Set version tag for new release.Gravatar proofgen1999-06-07
* Set version tag for new release.Gravatar proofgen1999-04-07
* Set version tag for new release.Gravatar David Aspinall1999-02-22
* Set version tag for new release.Gravatar David Aspinall1999-02-01
* Added test for .thy file match bug.Gravatar David Aspinall1999-02-01
* Fixed comment.Gravatar David Aspinall1999-02-01
* Test case for file recognition bug.Gravatar David Aspinall1999-02-01
* Added David von Oheimbs test case for case matchingGravatar David Aspinall1999-01-26
* Tested piped communication in emacs-20.3Gravatar David Aspinall1999-01-21
* Rearranged into reverse chronological orderGravatar David Aspinall1999-01-21
* Improved test file so that it works correctly with installed LEGO 1.3.1Gravatar Thomas Kleymann1999-01-21
* added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Gravatar Thomas Kleymann1999-01-18
* does indeed crash Proof General, Version 2.1pre990112Gravatar Thomas Kleymann1999-01-18
* Set version tag for new release.Gravatar David Aspinall1999-01-15
* Test has backward slashes now, not forwards ones..Gravatar David Aspinall1999-01-15
* Added putative test for Isabelle and long lines with backslash.Gravatar David Aspinall1999-01-15
* Test file for long lines with backslashes.Gravatar David Aspinall1999-01-15
* Set version tag for new release.Gravatar David Aspinall1999-01-12
* Set version tag for new release.Gravatar David Aspinall1998-12-18
* Set version tag for new release.Gravatar David Aspinall1998-12-17