aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-03-25
* FixesGravatar David Aspinall2004-11-30
* Add emacs, xemacs as build requires suggested by J ShapiroGravatar David Aspinall2004-10-05
* Set version tag for new release.Gravatar David Aspinall2004-08-31
* More proofgeneral.org removalsGravatar David Aspinall2004-08-25
* Set version tag for new release.Gravatar David Aspinall2004-08-25
* Update for forthcoming 3.6Gravatar David Aspinall2004-08-25
* Explain LaTeX mode for Isabelle a bit betterGravatar David Aspinall2004-08-25
* Update for 3.6 releaseGravatar David Aspinall2004-08-25
* Update for 3.6 releaseGravatar David Aspinall2004-08-25
* Set version tag for new release.Gravatar David Aspinall2004-08-10
* New files.Gravatar David Aspinall2004-08-10
* Set version tag for new release.Gravatar David Aspinall2004-07-23
* Update email msgGravatar David Aspinall2004-06-22
* Include bug report and observation about GNU EmacsGravatar David Aspinall2004-06-22
* Test case for nesting too deep for parser errorGravatar David Aspinall2004-06-22
* Set version tag for new release.Gravatar David Aspinall2004-06-17
* Make theory name match file nameGravatar David Aspinall2004-06-17
* Note about testGravatar David Aspinall2004-06-17
* *** empty log message ***Gravatar David Aspinall2004-06-16
* New files.Gravatar David Aspinall2004-06-16
* Set version tag for new release.Gravatar David Aspinall2004-06-16
* Updated.Gravatar David Aspinall2004-06-13
* Set version tag for new release.Gravatar David Aspinall2004-06-04
* Update with date/version.Gravatar David Aspinall2004-05-07
* Claim auto compilation for Coq.Gravatar David Aspinall2004-05-07
* Comments.Gravatar David Aspinall2004-05-06
* Set version tag for new release.Gravatar David Aspinall2004-04-24
* Updated.Gravatar David Aspinall2004-04-24
* Update test filesGravatar David Aspinall2004-04-24
* New files.Gravatar David Aspinall2004-04-22
* Set version tag for new release.Gravatar David Aspinall2004-04-21
* Updated.Gravatar David Aspinall2004-04-21
* Updated.Gravatar David Aspinall2004-04-21
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Updated.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-16
* Set version tag for new release.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* Set version tag for new release.Gravatar David Aspinall2004-04-15