diff options
| author | Makarius Wenzel | 2001-11-20 23:21:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-11-20 23:21:12 +0000 |
| commit | d153fe8d5b2ab52b882184b2fa50ea2b7897b0c3 (patch) | |
| tree | 6f2d74a996e0289cfa010db9c605c201375dfc99 /html/functions.php3 | |
| parent | 80a0c3d39bea3b4dcb6b80e54db3a2aac33337c1 (diff) | |
set proof-shell-spill-output-regexp;
isar-activate-scripting: proof-syn-cd (why is this here needed?);
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions