aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
control of x-symbol-subscripts variable);
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
2000-10-023-2-1 pendingDavid Aspinall
2000-10-02Warning about duplicate ChangeLog entriesDavid Aspinall
2000-10-02Tweak to ChangeLog productionDavid Aspinall
2000-10-02Remove duplicate entries.David Aspinall
2000-10-02Updated.David Aspinall
2000-10-02Mention Isabelle99-1 changeDavid Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Whoops, left pre-release header inDavid Aspinall
2000-10-02Upcoming patch anticipated already.David Aspinall
2000-10-02Fix recursive makeDavid Aspinall
2000-10-02Updated.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Note about current pre-release being outdated wrt 3.2David Aspinall
2000-10-02Note about current pre-release being outdated wrt 3.2David Aspinall
2000-10-02Updated.David Aspinall
2000-10-02UpdatedDavid Aspinall
2000-10-02Remove ps and pdf for PG-adapting from distrib to redue size to normal ↵David Aspinall
proportions.
2000-10-02Updated.David Aspinall
2000-10-02Updated.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Add todays date, 3.2David Aspinall
2000-10-02Updated web pages for 3.2 releaseDavid Aspinall
2000-10-02Updated, cleaned upDavid Aspinall
2000-10-02Note about alternative path to perlDavid Aspinall
2000-10-02Updated magicDavid Aspinall
2000-10-02Caveats about using elcs.David Aspinall
2000-10-02New fileDavid Aspinall
2000-10-02Pass extra args to emacs.David Aspinall
2000-10-02Attempt to force image buildDavid Aspinall
2000-10-02Attempt to force image buildDavid Aspinall
2000-10-02Subtitle capsDavid Aspinall
2000-09-29Updated.David Aspinall
2000-09-29Added a new email aliasDavid Aspinall
2000-09-29Typos in credits sectionDavid Aspinall
2000-09-29Added credits sectionDavid Aspinall
2000-09-29Updated.David Aspinall
2000-09-29Another buglet in files listDavid Aspinall
2000-09-29Updated.David Aspinall
2000-09-29Bug in files listDavid Aspinall
2000-09-29Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 22:33:47 +0000