aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-10-04Remove note for develDavid Aspinall
2001-10-04Fix fudged enabler to call button function interactively.David Aspinall
2001-09-26support \<^bold> control symbols;Makarius Wenzel
2001-09-26fixed spelling;Makarius Wenzel
2001-09-24Updated.David Aspinall
2001-09-24Set version tag for new release.David Aspinall
2001-09-24Add Lemma to exclusion for coq-goal-command-p.David Aspinall
2001-09-24Update magicDavid Aspinall
2001-09-24New lineDavid Aspinall
2001-09-24Fix error in docs of stop-silent-command, and name of pre-shell-start-hook.David Aspinall
2001-09-24Another bug reporterDavid Aspinall
2001-09-24Implement Robert Schnecks idea to help Coq display whole of goals output.David Aspinall
2001-09-24Devel release is tweaked 3.3David Aspinall
2001-09-13Updated.David Aspinall
2001-09-13Link uref nicelyDavid Aspinall
2001-09-13Minor improvementsDavid Aspinall
2001-09-13Updates from an old printout of the manualDavid Aspinall
2001-09-13updatedDavid Aspinall
2001-09-13Updated.David Aspinall
2001-09-13New files.David Aspinall
2001-09-13Updated from Kit repoDavid Aspinall
2001-09-13Fix linkDavid Aspinall
2001-09-13Fix two more gaping holes letting people examine whole filesystem (also fixed...David Aspinall
2001-09-13PHP in php, html and no extn link to phpDavid Aspinall
2001-09-13Updated.David Aspinall
2001-09-13Fix two more gaping holes letting people examine whole filesystemDavid Aspinall
2001-09-13Updated.David Aspinall
2001-09-13Set version tag for new release.David Aspinall
2001-09-13Feedback quick linkDavid Aspinall
2001-09-13No changes msgDavid Aspinall
2001-09-13Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html filesDavid Aspinall
2001-09-10Updated.David Aspinall
2001-09-10Set version tag for new release.David Aspinall
2001-09-10Note about re-rel 3.3David Aspinall
2001-09-10Update release datesDavid Aspinall
2001-09-10Update todoDavid Aspinall
2001-09-10Remove spurious comment at startDavid Aspinall
2001-09-10isar-goals-font-lock-keywords: corollary;Makarius Wenzel
2001-09-09Updated.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Updated.David Aspinall
2001-09-09Renamed fileDavid Aspinall
2001-09-09Fixup copying of releasename linkDavid Aspinall
2001-09-09Updated.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Finished shift to 3.4David Aspinall
2001-09-09Link to kit.phpDavid Aspinall
2001-09-09File determination nonsenseDavid Aspinall
2001-09-09Change over to some .php files.David Aspinall
2001-09-09Backtrack to previous CHANGES file for now.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 13:52:19 +0000