proof-general/html/gallery.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 blender link (it gets .org, lucky thing)
2004-01-24T00:43:52+00:00
David Aspinall
2004-01-24T00:43:52+00:00
601464c5fe4ae102ff9f85cc3215b9c199ae4ca2
Fix link to feedback page
2002-01-15T14:05:00+00:00
David Aspinall
2002-01-15T14:05:00+00:00
6c8a7016f6f9d5a12f425c4422690f489ce8590e
Fix screenshots link
2001-08-15T16:38:44+00:00
David Aspinall
2001-08-15T16:38:44+00:00
c1e594fe80959eab7d8c9bd6dfa50a85f2961061
Renamed file
2001-08-01T19:13:46+00:00
David Aspinall
2001-08-01T19:13:46+00:00
19202c2d45f261670a8f8fe1f66d8b69471ec3e1