index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
docstring-magic.el
Commit message (
Collapse
)
Author
Age
*
Remove thy-mode from isa
David Aspinall
2006-12-20
|
*
Updated.
David Aspinall
2005-03-25
|
*
New line
David Aspinall
2001-09-24
|
*
*** empty log message ***
Christophe Raffalli
2000-11-10
|
*
Add provide sym-lock to fix sym lock loading problem
David Aspinall
2000-09-12
|
*
use proof-assistant-table instead of proof-assistants;
Makarius Wenzel
2000-07-26
|
*
Load a couple more file manually.
David Aspinall
2000-06-09
|
*
Fixes for PA docs, and file load order.
David Aspinall
2000-05-25
|
*
Fixed to load all files and define proof ass specifc vars.
David Aspinall
2000-05-16
|
*
Notes about fixing docstring-magic.
David Aspinall
2000-05-12
|
*
Fix FSF prob.
David Aspinall
1999-11-17
|
*
typo
David Aspinall
1999-10-21
|
*
A couple of comint symbols are mentioned in the docs
David Aspinall
1999-10-21
|
*
Load plastic and isar as a sanity check, prelude to documenting in texi
David Aspinall
1999-07-03
|
*
Some hacks to make markup happen.
David Aspinall
1998-12-16
|
*
Load proof-toolbar
David Aspinall
1998-11-25
|
*
Added header.
David Aspinall
1998-11-25
|
*
Magic docstring -> texi conversion.
David Aspinall
1998-11-25