diff options
| author | David Aspinall | 1999-11-11 17:35:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 17:35:19 +0000 |
| commit | fc7bc85b25e73b788a7fbd01b1671efa5d1f199f (patch) | |
| tree | 49425533d1ff38d8df467d1d5f5fb1e5cd891415 /html/functions.php3 | |
| parent | 8d5ce632eb08176ebc4bf753abb2bac923abc789 (diff) | |
Added option for sending qed output to goals buffer for Isabelle
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions