aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Include php instead of htmlGravatar David Aspinall2001-05-01
* Rename some html files phpGravatar David Aspinall2001-05-01
* Deleted files.Gravatar David Aspinall2001-05-01
* Modification of proof-script-command-end-regexp to allow commandsGravatar Pierre Courtieu2001-04-10
* Updated.Gravatar David Aspinall2001-03-20
* Updated.Gravatar David Aspinall2001-03-20
* Fixes to main pageGravatar David Aspinall2001-03-20
* Change to my canonical www.dcs web addressGravatar David Aspinall2001-03-20
* Remove proofgeneral.org on main pageGravatar David Aspinall2001-03-20
* Updated.Gravatar David Aspinall2001-03-20
* Set version tag for new release.Gravatar David Aspinall2001-03-20
* strange buffer selection bug reported by MarkusGravatar David Aspinall2001-03-20
* Updated magicGravatar David Aspinall2001-03-20
* Added the config var proof-script-command-end-regexp fot coq V7.Gravatar Pierre Courtieu2001-03-20
* Use PS fonts in PS fileGravatar David Aspinall2001-03-20
* Remove temporary commentsGravatar David Aspinall2001-03-20
* Fix docstringGravatar David Aspinall2001-03-20
* Changes to use proofgen@dcs for now instead of broken proofgeneral.orgGravatar David Aspinall2001-03-20
* Fix to Coq web pageGravatar David Aspinall2001-03-20
* *** empty log message ***Gravatar Christophe Raffalli2001-03-19
* minor change in coq.el to allow to force version of coq, with variableGravatar Pierre Courtieu2001-02-26
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* *** empty log message ***Gravatar Christophe Raffalli2001-02-08
* Updated.Gravatar David Aspinall2001-02-07
* Set version tag for new release.Gravatar David Aspinall2001-02-07
* *** empty log message ***Gravatar Christophe Raffalli2001-02-07
* *** empty log message ***Gravatar Christophe Raffalli2001-02-07
* Set version tag for new release.Gravatar David Aspinall2001-02-06
* *** empty log message ***Gravatar Christophe Raffalli2001-02-02
* updated thms_containing;Gravatar Makarius Wenzel2001-02-01
* *** empty log message ***Gravatar Christophe Raffalli2001-02-01
* *** empty log message ***Gravatar Christophe Raffalli2001-02-01
* renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Gravatar Makarius Wenzel2001-01-24
* proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;Gravatar Makarius Wenzel2001-01-18
* *** empty log message ***Gravatar Christophe Raffalli2001-01-18
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* Updated.Gravatar David Aspinall2001-01-12
* Updated.Gravatar David Aspinall2001-01-12
* Updated.Gravatar David Aspinall2001-01-12
* Fix loading thy mode fist problem: require proof-script since contextGravatar David Aspinall2001-01-12
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* Updated.Gravatar David Aspinall2001-01-12
* Set version tag for new release.Gravatar David Aspinall2001-01-12
* *** empty log message ***Gravatar Christophe Raffalli2001-01-11
* fixed format strings in message, error, etc.Gravatar Makarius Wenzel2001-01-11
* proper font-lock of isar-keywords-proof-heading;Gravatar Makarius Wenzel2001-01-10
* added \<wrong>;Gravatar Makarius Wenzel2001-01-10
* added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;Gravatar Makarius Wenzel2001-01-09
* This commit was generated by cvs2git to track changes on a CVS vendorGravatar David Aspinall2001-01-07
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 12:17:31 +0000