aboutsummaryrefslogtreecommitdiff
path: root/doc/docstring-magic.el
AgeCommit message (Expand)Author
2021-01-31fix another make magic problem from 2018Hendrik Tews
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2009-09-15Update docsDavid Aspinall
2008-07-12Fix loading of multiple prover files: set proof-assistant-table to nil so pro...David Aspinall
2008-01-30Load unicode-tokens.elDavid Aspinall
2008-01-17Update for new startup mechanism.David Aspinall
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 14:47:02 +0000