diff options
| author | David Aspinall | 1999-10-12 13:09:36 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-12 13:09:36 +0000 |
| commit | f346e8294af0b27f44f17502f08c6e003ca73e6a (patch) | |
| tree | 01d1b16118b3813bb7c12c7a5a25bd61dbc76209 /html/smallheader.phtml | |
| parent | 2b20aeb75ac47d5a486336e775c148981339ace7 (diff) | |
Added proof-toolbar-use-enablers.
Set some defaults to nil to get sensible error messages instead
of failure in Coq.
Diffstat (limited to 'html/smallheader.phtml')
0 files changed, 0 insertions, 0 deletions