diff options
| author | Makarius Wenzel | 1999-10-26 17:20:01 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-26 17:20:01 +0000 |
| commit | 5b59f4e964b5fcfa45866a1f76b312544bb6937e (patch) | |
| tree | e058c31f041d3c242a4bdf7f08f65d277157f222 /html/head.phtml | |
| parent | 2964b8b97c522456059803439a042bca4c807c49 (diff) | |
ProofGeneral.kill_proof: clears goals buffer;
ProofGeneral.restart;
ProofGeneral.inform_file_processed/retracted;
improved proof-shell-compute-new-files-list (more robust);
Diffstat (limited to 'html/head.phtml')
0 files changed, 0 insertions, 0 deletions