diff options
| author | David Aspinall | 1999-09-30 14:03:55 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-30 14:03:55 +0000 |
| commit | 6b3b7ce9a6da5548c157a6bf8289e4de18046a71 (patch) | |
| tree | bb8f4a674a716cba68b09810f7652597cdea6e79 /html/functions.php3 | |
| parent | 3552e19daa8347abe0734332dbb1f0d1394925ab (diff) | |
Added comments about using enriched mode or similar for prover output markup.
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions