aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-11-20set proof-shell-spill-output-regexp;Makarius Wenzel
2001-11-13option -k for logic specific isar-keywords file;Makarius Wenzel
2001-11-08added \<index> symbol;Makarius Wenzel
2001-11-07added \<lozenge> and \<struct>;Makarius Wenzel
2001-11-07updated isar-goals-font-lock-keywords;Makarius Wenzel
2001-10-24Fix missing arg to get.David Aspinall
2001-10-13isar-goals-font-lock-keywords: more general goal pattern;Makarius Wenzel
2001-10-08Updated.David Aspinall
2001-10-08Set version tag for new release.David Aspinall
2001-10-08Add back note.David Aspinall
2001-10-04added isar-help-induct-rules;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 10:37:55 +0000