aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Expand)Author
2002-08-29Set version tag for new release.David Aspinall
2002-08-29UpdatedDavid Aspinall
2002-08-29Support dekstop entries for KDE and GNOME, tested in RedHat 7.3David Aspinall
2002-08-29Desktop file for KDE.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Updating branchDavid Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29New files.David Aspinall
2002-08-29Set version tag for new release.David Aspinall
2002-08-28Borrowed as exampleDavid Aspinall
2002-08-28Exercise bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
2002-08-28Update intros.David Aspinall
2002-08-27Set version tag for new release.David Aspinall
2002-08-27UpdatedDavid Aspinall
2002-08-26Set version tag for new release.David Aspinall
2002-08-26New files.David Aspinall
2002-08-16Set version tag for new release.David Aspinall
2002-08-16More infoDavid Aspinall
2002-08-16UpdatedDavid Aspinall
2002-08-12Set version tag for new release.David Aspinall
2002-08-09Set version tag for new release.David Aspinall
2002-08-09New files.David Aspinall
2002-08-09More commentsDavid Aspinall
2002-08-09New files.David Aspinall
2002-08-08Set version tag for new release.David Aspinall
2002-08-07Set version tag for new release.David Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19Updated.David Aspinall
2002-07-18Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.David Aspinall
2002-07-18Record bug as solved.David Aspinall
2002-07-18New files.David Aspinall
2002-07-18More testsDavid Aspinall
2002-07-18More comments on current bugsDavid Aspinall
2002-07-18New files.David Aspinall
2002-07-18fix README rename.David Aspinall
2002-07-18Set version tag for new release.David Aspinall
2002-07-18Rename READMEs for different provers so dont clash with doc directive.David Aspinall
2002-07-18Update towards 3.4David Aspinall
2002-07-17Set version tag for new release.David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Add { and } exampleDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Set version tag for new release.David Aspinall
2002-07-16Example of using pbpDavid Aspinall
2002-07-15Set version tag for new release.David Aspinall
2002-07-14Updated.David Aspinall
2002-07-14Add linksDavid Aspinall
2002-07-14Remove spurious white spaceDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 09:44:27 +0000