aboutsummaryrefslogtreecommitdiff
path: root/doc/docstring-magic.el
AgeCommit message (Expand)Author
2006-12-20Remove thy-mode from isaDavid Aspinall
2005-03-25Updated.David Aspinall
2001-09-24New lineDavid Aspinall
2000-11-10*** empty log message ***Christophe Raffalli
2000-09-12Add provide sym-lock to fix sym lock loading problemDavid Aspinall
2000-07-26use proof-assistant-table instead of proof-assistants;Makarius Wenzel
2000-06-09Load a couple more file manually.David Aspinall
2000-05-25Fixes for PA docs, and file load order.David Aspinall
2000-05-16Fixed to load all files and define proof ass specifc vars.David Aspinall
2000-05-12Notes about fixing docstring-magic.David Aspinall
1999-11-17Fix FSF prob.David Aspinall
1999-10-21typoDavid Aspinall
1999-10-21A couple of comint symbols are mentioned in the docsDavid Aspinall
1999-07-03Load plastic and isar as a sanity check, prelude to documenting in texiDavid Aspinall
1998-12-16Some hacks to make markup happen.David Aspinall
1998-11-25Load proof-toolbarDavid Aspinall
1998-11-25Added header.David Aspinall
1998-11-25Magic docstring -> texi conversion.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:57:15 +0000