diff options
| author | David Aspinall | 2000-04-07 14:24:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-07 14:24:47 +0000 |
| commit | 1d3842f87c31e536efe0c977c70fab478195126d (patch) | |
| tree | 7bc9e5fe9f95481d8988d24157774c7d4a6f1efd /html/counter.php3 | |
| parent | a1cb622759dbfa6e93547e01ff6ad2eb9fc44921 (diff) | |
Generalisation of proof-info-command to string or fn.
Diffstat (limited to 'html/counter.php3')
0 files changed, 0 insertions, 0 deletions