aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-08-16Switch back to using goalsave spans in PBP codeDavid Aspinall
2001-08-16Add hide/show commands instead of make proofs visibleDavid Aspinall
2001-08-16Generate intermediate proof span for contents of proof; other becomes 'goalsa...David Aspinall
2001-08-16Function name fixes, use idiom property in span for popup menu name.David Aspinall
2001-08-15Fix screenshots linkDavid Aspinall
2001-08-15Fix again.David Aspinall
2001-08-15Fix linkDavid Aspinall
2001-08-10Updated.David Aspinall
2001-08-10Explain symptom properlyDavid Aspinall
2001-08-10Use proof-looking-at-syntactic-context function from proof-syntax, as suggest...David Aspinall
2001-08-10Found another instance of buffer-syntactic-contextDavid Aspinall
2001-08-10Updated.David Aspinall
2001-08-10Set version tag for new release.David Aspinall
2001-08-10Put all in dist except pgkitDavid Aspinall
2001-08-10Rearrange list of assistants, note REGISTER.David Aspinall
2001-08-10Remove note about 3.1David Aspinall
2001-08-10Comment about win32 XEmacsDavid Aspinall
2001-08-10Workaround for buffer-syntactic-context bug in XEmacs 21.1David Aspinall
2001-08-10Change buffer-syntactic-context -> proof-buffer-syntactic-contextDavid Aspinall
2001-08-10Bug test case, note workaround dateDavid Aspinall
2001-08-10Bug test caseDavid Aspinall
2001-08-10Note of bug fix for buffer-syntactic-contextDavid Aspinall
2001-08-09fixed potential regexp typo (!?);Makarius Wenzel
2001-08-03Note about improved win32 supportDavid Aspinall
2001-08-03Updated.David Aspinall
2001-08-03Set version tag for new release.David Aspinall
2001-08-03Fix link back to fileshow.phpDavid Aspinall
2001-08-03Renamed fileDavid Aspinall
2001-08-03Fix screenshot linkDavid Aspinall
2001-08-01Update last updated, copyrightDavid Aspinall
2001-08-01FormattingDavid Aspinall
2001-08-01Update for 3.3David Aspinall
2001-08-01Updated.David Aspinall
2001-08-01Fix links to galleryDavid Aspinall
2001-08-01Deleted files.David Aspinall
2001-08-01Renamed fileDavid Aspinall
2001-08-01Moved to .phpDavid Aspinall
2001-08-01Fix typoDavid Aspinall
2001-08-01Renamed fileDavid Aspinall
2001-08-01Added newsDavid Aspinall
2001-08-01Updated.David Aspinall
2001-08-01Set version tag for new release.David Aspinall
2001-08-01Regenerate to remove Christophes patchDavid Aspinall
2001-08-01Moved compat hack to proof-siteDavid Aspinall
2001-08-01Revert to removing and re-adding specifiers for toolbar,David Aspinall
2001-08-01Add a dummy version of package-provide for FSFEmacs.David Aspinall
2001-07-25*** empty log message ***Christophe Raffalli
2001-07-25*** empty log message ***Christophe Raffalli
2001-07-25Various changes for win32 compatibilityChristophe Raffalli
2001-07-23Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 03:36:44 +0000