proof-general/html/smallheader.html, 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 






Reduce size to keep it smaller than main header
2002-07-13T17:10:23+00:00

David Aspinall

2002-07-13T17:10:23+00:00

7d4d935c4647a45324ba022ad2b8778699644204












Link image to root dir.
2000-09-29T19:23:05+00:00

David Aspinall

2000-09-29T19:23:05+00:00

39c58b3b71f79766058240a5834e3e33c43f54f1












Moved to use .html instead of .phtml
2000-09-28T15:14:22+00:00

David Aspinall

2000-09-28T15:14:22+00:00

ce2413d4ba78cacb8d5e098ed1421456bb811e53












Renamed file
2000-09-28T15:01:50+00:00

David Aspinall

2000-09-28T15:01:50+00:00

bd7aa7923a25d16207842f9f3d6b773c2fc6fa58