aboutsummaryrefslogtreecommitdiff
path: root/html/proofgen.css
diff options
context:
space:
mode:
authorDavid Aspinall2002-07-13 17:47:47 +0000
committerDavid Aspinall2002-07-13 17:47:47 +0000
commit06f114bdc709e2ad3facfe9cd2cf58b5e5e594b7 (patch)
treef1c16c6d74d97b773a399797d6721302d4caa4b7 /html/proofgen.css
parentb6150be576e5c3b01cd4081c2bb19ea882980b31 (diff)
Improve form
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions