proof-general/html/smallpage.php, branch master Emacs plugins for proof management systems Deleted file 2004-02-07T19:31:13+00:00 David Aspinall 2004-02-07T19:31:13+00:00 b9caaa8e4b66817dbc66d0e79b567b3285869fea 






Fix two more gaping holes letting people examine whole filesystem (also fixed in server anyway)
2001-09-13T15:55:18+00:00

David Aspinall

2001-09-13T15:55:18+00:00

5ab3d3c821df9dbe713fd2d4750b3968de3a3b74












Rename some html files php
2001-05-01T14:17:52+00:00

David Aspinall

2001-05-01T14:17:52+00:00

75ef5af371aa223e8a96607bb85bb20a340e4f47