aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Update last updated, copyrightGravatar David Aspinall2001-08-01
* FormattingGravatar David Aspinall2001-08-01
* Update for 3.3Gravatar David Aspinall2001-08-01
* Updated.Gravatar David Aspinall2001-08-01
* Fix links to galleryGravatar David Aspinall2001-08-01
* Deleted files.Gravatar David Aspinall2001-08-01
* Renamed fileGravatar David Aspinall2001-08-01
* Moved to .phpGravatar David Aspinall2001-08-01
* Fix typoGravatar David Aspinall2001-08-01
* Renamed fileGravatar David Aspinall2001-08-01
* Added newsGravatar David Aspinall2001-08-01
* Updated.Gravatar David Aspinall2001-08-01
* Set version tag for new release.Gravatar David Aspinall2001-08-01
* Regenerate to remove Christophes patchGravatar David Aspinall2001-08-01
* Moved compat hack to proof-siteGravatar David Aspinall2001-08-01
* Revert to removing and re-adding specifiers for toolbar,Gravatar David Aspinall2001-08-01
* Add a dummy version of package-provide for FSFEmacs.Gravatar David Aspinall2001-08-01
* *** empty log message ***Gravatar Christophe Raffalli2001-07-25
* *** empty log message ***Gravatar Christophe Raffalli2001-07-25
* Various changes for win32 compatibilityGravatar Christophe Raffalli2001-07-25
* Updated.Gravatar David Aspinall2001-07-23
* Set version tag for new release.Gravatar David Aspinall2001-07-23
* Prevent error msg in proof-display-some-buffers if response dead.Gravatar David Aspinall2001-07-23
* Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals...Gravatar David Aspinall2001-07-23
* Updated.Gravatar David Aspinall2001-07-09
* TODO for proof-ass fixing added.Gravatar David Aspinall2001-07-09
* Set version tag for new release.Gravatar David Aspinall2001-07-09
* Clean for compileGravatar David Aspinall2001-07-09
* Clean for compile: new autloadGravatar David Aspinall2001-07-09
* RefreshGravatar David Aspinall2001-07-09
* Clean-up compileGravatar David Aspinall2001-07-09
* Add require for arch flags, cleaner compilation.Gravatar David Aspinall2001-07-09
* Fix some bugs shown by byte compGravatar David Aspinall2001-07-09
* Updated autoloadsGravatar David Aspinall2001-07-09
* Package file (old attempt -- not working)Gravatar David Aspinall2001-07-09
* *** empty log message ***Gravatar Christophe Raffalli2001-06-22
* Fix Coq link.Gravatar David Aspinall2001-05-29
* Updated.Gravatar David Aspinall2001-05-29
* Set version tag for new release.Gravatar David Aspinall2001-05-29
* Remove extra proof."Gravatar David Aspinall2001-05-29
* Display screen only if called interactivelyGravatar David Aspinall2001-05-29
* AF2 -> PhoX name changeGravatar David Aspinall2001-05-29
* Add REGISTER to doc files.Gravatar David Aspinall2001-05-29
* Date 2001Gravatar David Aspinall2001-05-29
* Fix layout and typo.Gravatar David Aspinall2001-05-29
* Include PHP fileGravatar David Aspinall2001-05-29
* Note about mailing list and registration.Gravatar David Aspinall2001-05-29
* Renamed fileGravatar David Aspinall2001-05-29
* PHP version. Also dont mention junk filters.Gravatar David Aspinall2001-05-29
* preliminary addition of "corollary";Gravatar Makarius Wenzel2001-05-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 08:07:21 +0000