diff options
| author | Makarius Wenzel | 1999-08-16 17:11:26 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-16 17:11:26 +0000 |
| commit | d1893064169cd551a2d98a8ad301336b717bf88b (patch) | |
| tree | 488252fdb6dab63b3687f858c23020f6fd83f53d /html/functions.php3 | |
| parent | 1f15a64245e31f3cf556934a51847b3b129a269d (diff) | |
obsolete, use Isabelle's native ProofGeneral.init instead;
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions