| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
. Updated situation on License issue
|
|
|
|
|
|
|
|
|
|
|
|
Now only Isabelle's references are misssing!
|
|
|
|
|
|
|
|
|
|
|
|
|
|
be due to his own hacking of Proof General.
Added proof-shell-exit item concerning the time delay built-in.
|
|
|
|
and live/dead overlays.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to tms but he said he wouldn't get around to it)
|
|
Disabled by default. May be activated by particular proof assistants
if they feel confident about it. I don't.
Made proof-indent be autoloaded as needed. Lets pray it won't be.
|
|
|
