aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* proof-general-version-year: updateGravatar David Aspinall2007-12-10
* Fix some compile warnings: use of error, customization groupsGravatar David Aspinall2007-12-10
* Set version tag for new release.Gravatar David Aspinall2007-12-10
* Set version tag for new release.Gravatar David Aspinall2007-11-12
* Set version tag for new release.Gravatar David Aspinall2007-10-25
* Set version tag for new release.Gravatar David Aspinall2007-09-10
* Set version tag for new release.Gravatar David Aspinall2007-08-19
* Set version tag for new release.Gravatar David Aspinall2007-07-04
* Set version tag for new release.Gravatar David Aspinall2007-06-19
* Set version tag for new release.Gravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-08
* Set version tag for new release.Gravatar David Aspinall2007-06-05
* Set version tag for new release.Gravatar David Aspinall2007-05-10
* Set version tag for new release.Gravatar David Aspinall2007-03-12
* Set version tag for new release.Gravatar David Aspinall2007-03-04
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-01-09
* Set version tag for new release.Gravatar David Aspinall2006-12-20
* Set version tag for new release.Gravatar David Aspinall2006-12-11
* removed obsolete references to 'isa';Gravatar Makarius Wenzel2006-12-07
* Set version tag for new release.Gravatar David Aspinall2006-11-07
* Set version tag for new release.Gravatar David Aspinall2006-10-27
* Set version tag for new release.Gravatar David Aspinall2006-09-24
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Updated.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* Set version tag for new release.Gravatar David Aspinall2006-05-26
* Set version tag for new release.Gravatar David Aspinall2006-02-14
* Set version tag for new release.Gravatar David Aspinall2005-10-04
* Set version tag for new release.Gravatar David Aspinall2005-09-30
* Make robust against missing advice packageGravatar David Aspinall2005-09-28
* Set version tag for new release.Gravatar David Aspinall2005-09-22
* Set version tag for new release.Gravatar David Aspinall2005-09-21
* Set version tag for new release.Gravatar David Aspinall2005-09-15
* Set version tag for new release.Gravatar David Aspinall2005-08-10
* Documentation.Gravatar David Aspinall2005-08-09
* Add proof-general-version-yearGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* Disable Twelf support by defaultGravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-03-25
* Set version tag for new release.Gravatar David Aspinall2004-08-31
* Set version tag for new release.Gravatar David Aspinall2004-08-25
* Add lib/ to load-path. Define proof-general-short-version.Gravatar David Aspinall2004-08-25
* Set version tag for new release.Gravatar David Aspinall2004-08-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 22:25:12 +0000