aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-05-01Set version tag for new release.David Aspinall
2001-05-01Change link to kitDavid Aspinall
2001-05-01Change link to register pageDavid Aspinall
2001-05-01Include php fileDavid Aspinall
2001-05-01Register and kit shortcutsDavid Aspinall
2001-05-01Link to php files instead of htmlDavid Aspinall
2001-05-01Include php instead of htmlDavid Aspinall
2001-05-01Rename some html files phpDavid Aspinall
2001-05-01Deleted files.David Aspinall
2001-04-10Modification of proof-script-command-end-regexp to allow commandsPierre Courtieu
2001-03-20Updated.David Aspinall
2001-03-20Updated.David Aspinall
2001-03-20Fixes to main pageDavid Aspinall
2001-03-20Change to my canonical www.dcs web addressDavid Aspinall
2001-03-20Remove proofgeneral.org on main pageDavid Aspinall
2001-03-20Updated.David Aspinall
2001-03-20Set version tag for new release.David Aspinall
2001-03-20strange buffer selection bug reported by MarkusDavid Aspinall
2001-03-20Updated magicDavid Aspinall
2001-03-20Added the config var proof-script-command-end-regexp fot coq V7.Pierre Courtieu
2001-03-20Use PS fonts in PS fileDavid Aspinall
2001-03-20Remove temporary commentsDavid Aspinall
2001-03-20Fix docstringDavid Aspinall
2001-03-20Changes to use proofgen@dcs for now instead of broken proofgeneral.orgDavid Aspinall
2001-03-20Fix to Coq web pageDavid Aspinall
2001-03-19*** empty log message ***Christophe Raffalli
2001-02-26minor change in coq.el to allow to force version of coq, with variablePierre Courtieu
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-08*** empty log message ***Christophe Raffalli
2001-02-07Updated.David Aspinall
2001-02-07Set version tag for new release.David Aspinall
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-07*** empty log message ***Christophe Raffalli
2001-02-06Set version tag for new release.David Aspinall
2001-02-02*** empty log message ***Christophe Raffalli
2001-02-01updated thms_containing;Makarius Wenzel
2001-02-01*** empty log message ***Christophe Raffalli
2001-02-01*** empty log message ***Christophe Raffalli
2001-01-24renamed \<ll> to \<lless> and \<gg> to \<ggreater>;Makarius Wenzel
2001-01-18proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;Makarius Wenzel
2001-01-18*** empty log message ***Christophe Raffalli
2001-01-12proof-string-match;Makarius Wenzel
2001-01-12Updated.David Aspinall
2001-01-12Updated.David Aspinall
2001-01-12Updated.David Aspinall
2001-01-12Fix loading thy mode fist problem: require proof-script since contextDavid Aspinall
2001-01-12proof-string-match;Makarius Wenzel
2001-01-12Updated.David Aspinall
2001-01-12Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:36:55 +0000