aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2001-05-29Set version tag for new release.David Aspinall
2001-05-29Display screen only if called interactivelyDavid Aspinall
2001-05-16Set version tag for new release.David Aspinall
2001-05-16Moved splash settings and basic custom groups elsewhereDavid Aspinall
2001-05-16Move loading of compatibility flag, autoloads, basic customization groups here.David Aspinall
2001-05-16Move autoloads loads to proof-site, invoke (proof-splash-message)David Aspinall
2001-05-16Move emacs version compatibility flags to proof-site.elDavid Aspinall
2001-05-16Move configuration from proof-config here. Make proof-splash-message display...David Aspinall
2001-05-08Set version tag for new release.David Aspinall
2001-05-08Fixes for fontification in Xemacs 21.4David Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2001-05-08Add Markus to list of authorsDavid Aspinall
2001-05-03change for Emacs compatibility and FSF/Xemacs update. Copyright update.David Aspinall
2001-05-03Emacs fix (extent->span). Copyright update.David Aspinall
2001-05-01Set version tag for new release.David Aspinall
2001-03-20Set version tag for new release.David Aspinall
2001-03-20Remove temporary commentsDavid Aspinall
2001-03-20Fix docstringDavid Aspinall
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-07Set version tag for new release.David Aspinall
2001-02-06Set version tag for new release.David Aspinall
2001-01-12Set version tag for new release.David Aspinall
2001-01-11fixed format strings in message, error, etc.Makarius Wenzel
2001-01-05Set version tag for new release.David Aspinall
2000-12-22Set version tag for new release.David Aspinall
2000-12-22Removed accidently committed debugging codeDavid Aspinall
2000-12-22*** empty log message ***Christophe Raffalli
2000-12-21Set version tag for new release.David Aspinall
2000-12-20Fix comment to not break texi magicDavid Aspinall
2000-12-20More broken escapes.David Aspinall
2000-12-20Set version tag for new release.David Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-20Testing line for PGIP.David Aspinall
2000-12-20Improvements to span handling, including new variables: proof-shell-last-outp...David Aspinall
2000-12-20Improvements to span handlingDavid Aspinall
2000-12-15Set version tag for new release.David Aspinall
2000-12-14Remove some user-level functions to pg-user.David Aspinall
2000-12-14Add proof-disappearing-proofsDavid Aspinall
2000-12-14Generalise proof-format-filenameDavid Aspinall
2000-12-14Factor out some material from proof-script.elDavid Aspinall
2000-12-14Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proo...David Aspinall
2000-12-14Add visible enable commandDavid Aspinall
2000-12-14Add span-object, mapcar-spansDavid Aspinall
2000-12-07Typo.David Aspinall
2000-12-07Beginnings of pgip processingDavid Aspinall
2000-12-07Add provideDavid Aspinall
2000-12-07Set version tag for new release.David Aspinall
2000-12-06fixed format strings for (message ...);Makarius Wenzel
2000-12-01af2 is now called PhoXChristophe Raffalli
2000-12-01Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 21:37:57 +0000