diff options
| author | David Aspinall | 2000-09-13 15:19:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-13 15:19:23 +0000 |
| commit | 1be8575cb590ac3f18497845ee1b8fe3b292704c (patch) | |
| tree | 45142e4fb2bc65ab33aa790cb3f88b8fa5ca909e /html/functions.php3 | |
| parent | 620734f14fe4e106244db089bdcadca49b7d3e77 (diff) | |
Add removal of state button as test example. Replace af2-with-xemacs -> proof-running-on-XEmacs.
Diffstat (limited to 'html/functions.php3')
0 files changed, 0 insertions, 0 deletions