aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-site.el
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2009-05-26
* Set version tag for new release.Gravatar David Aspinall2009-04-16
* Set version tag for new release.Gravatar David Aspinall2008-12-05
* Set version tag for new release.Gravatar David Aspinall2008-09-19
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-24
* Load proof-autoloads earlierGravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-23
* Set version tag for new release.Gravatar David Aspinall2008-07-22
* Set version tag for new release.Gravatar David Aspinall2008-07-19
* Set version tag for new release.Gravatar David Aspinall2008-07-17
* Set version tag for new release.Gravatar David Aspinall2008-07-12
* Set version tag for new release.Gravatar David Aspinall2008-07-10
* Set version tag for new release.Gravatar David Aspinall2008-07-08
* Set version tag for new release.Gravatar David Aspinall2008-07-07
* Set version tag for new release.Gravatar David Aspinall2008-07-06
* Set version tag for new release.Gravatar David Aspinall2008-07-05
* Set version tag for new release.Gravatar David Aspinall2008-05-26
* Set version tag for new release.Gravatar David Aspinall2008-02-17
* Set version tag for new release.Gravatar David Aspinall2008-02-06
* proof-ready-for-assistant: Only make ready for assistant once(!)Gravatar David Aspinall2008-02-06
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Set version tag for new release.Gravatar David Aspinall2008-01-31
* Move version check in case proof-site.el is loaded, not proof-site.elcGravatar David Aspinall2008-01-31
* Set version tag for new release.Gravatar David Aspinall2008-01-30
* Set version tag for new release.Gravatar David Aspinall2008-01-29
* Set version tag for new release.Gravatar David Aspinall2008-01-27
* Set version tag for new release.Gravatar David Aspinall2008-01-25
* Set version tag for new release.Gravatar David Aspinall2008-01-24
* Set version tag for new release.Gravatar David Aspinall2008-01-17
* Enable Lego again, its needed for documentation(\!)Gravatar David Aspinall2008-01-17
* Set version tag for new release.Gravatar David Aspinall2008-01-16
* Set version tag for new release.Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Set version tag for new release.Gravatar David Aspinall2007-12-14
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 02:24:52 +0000