index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
FAQ
Commit message (
Expand
)
Author
Age
*
Larrys suggestion for lookup-syntax-properties.
David Aspinall
2003-02-17
*
Updated.
David Aspinall
2003-01-20
*
Contact in case of probs.
David Aspinall
2002-08-28
*
Added proof-shell-strip-crs-from-output
David Aspinall
2002-08-07
*
Spacing
David Aspinall
2002-07-19
*
Add Tobias suggestion about font sizes
David Aspinall
2002-07-18
*
Update
David Aspinall
2002-07-18
*
Add FAQ about enabling X-Symbol.
David Aspinall
2002-07-18
*
Wrong: mustn't delete isa dir, files shared with isar.
David Aspinall
2002-06-21
*
Isar is default over isa.
David Aspinall
2002-06-21
*
Remove note about 3.1
David Aspinall
2001-08-10
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
Rearranged, more info about X-Sym probs
David Aspinall
2000-06-22
*
Added question asked by Larry.
David Aspinall
2000-05-16
*
X-Symbol funny chars question
David Aspinall
2000-05-11
*
Added question about saving options
David Aspinall
2000-05-09
*
Beginnings of a FAQ.
David Aspinall
2000-05-05