aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-12-01Updated.David Aspinall
2000-12-01Set version tag for new release.David Aspinall
2000-12-013.2 -> 3.3preDavid Aspinall
2000-12-01add rewrite listChristophe Raffalli
2000-12-01*** empty log message ***Christophe Raffalli
2000-11-27fixed spelling;Makarius Wenzel
2000-11-24Continuing Coq V7 compatibility work, Begin Silent -> Set Silent, etc...Pierre Courtieu
2000-11-24Add a little change to coq-find-and-forget to work betterPierre Courtieu
2000-11-24Added proof-shell-match-pgip-cmdDavid Aspinall
2000-11-24Update branchDavid Aspinall
2000-11-24Added pg-xml-parse-string function.David Aspinall
2000-11-24Functions to process pgip commands.David Aspinall
2000-11-23I am starting to make PG coqV7 compatible, I think the best is toPierre Courtieu
2000-11-22disable trace option;Makarius Wenzel
2000-11-21converted from sh back to bash;Makarius Wenzel
2000-11-17Set version tag for new release.David Aspinall
2000-11-15Set version tag for new release.David Aspinall
2000-11-15*** empty log message ***Christophe Raffalli
2000-11-13*** empty log message ***Christophe Raffalli
2000-11-10*** empty log message ***Christophe Raffalli
2000-10-31tuned isar-goals-font-lock-keywords;Makarius Wenzel
2000-10-30tuned font-lock-keywords;Makarius Wenzel
2000-10-30replaced \<macron> by \<inverse> (better than nothing);Makarius Wenzel
2000-10-30*** empty log message ***Christophe Raffalli
2000-10-27Ready for 3.2 changes.David Aspinall
2000-10-27*** empty log message ***Christophe Raffalli
2000-10-27*** empty log message ***Christophe Raffalli
2000-10-26font-lock support for antiquotations;Makarius Wenzel
2000-10-26*** empty log message ***Christophe Raffalli
2000-10-26*** empty log message ***Christophe Raffalli
2000-10-19Updated.David Aspinall
2000-10-19Set version tag for new release.David Aspinall
2000-10-19Second part of moving to 3.3pre series.David Aspinall
2000-10-18Updated.David Aspinall
2000-10-18Updated.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-18Begin move to 3.3 series.David Aspinall
2000-10-18Updated.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-18Fix parse error.David Aspinall
2000-10-14parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);Makarius Wenzel
2000-10-12support for super- and subscripts (still needs proper per-proverMakarius Wenzel
2000-10-03Updated.David Aspinall
2000-10-03Set version tag for new release.David Aspinall
2000-10-03Apparently X-Sym web pages have simpler install instructions now.David Aspinall
2000-10-02added settings: eta-contract, goals-limit, prems-limit;Makarius Wenzel
2000-10-02Removed link to CHANGES, its buggyDavid Aspinall
2000-10-02Updated.David Aspinall
2000-10-02UpdatedDavid Aspinall
2000-10-02Remove more duplicate entries.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 22:47:00 +0000