aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-12-04Update mailing list address (point to web page)David Aspinall
2001-12-04update from make process;Makarius Wenzel
2001-12-04isar specific commands for bold/sup/sub;Makarius Wenzel
2001-12-04added symbols for alternative 0..9;Makarius Wenzel
2001-12-01\<euro> symbol;Makarius Wenzel
2001-11-24proof-shell-spill-output-regexp temporarily disabled;Makarius Wenzel
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 04:23:55 +0000