diff options
| author | David Aspinall | 2000-12-21 17:27:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-21 17:27:05 +0000 |
| commit | 6ac04b30e318fd08cbaddf1c2b7cf5d8079a3847 (patch) | |
| tree | 5cc69d96baef685425e20bd6325e4482b05dae04 /phox/example.phx | |
| parent | aa7e179bbda6806ca6af1f0726d891dd1f71c6df (diff) | |
'goalsave -> 'proof
Diffstat (limited to 'phox/example.phx')
0 files changed, 0 insertions, 0 deletions