proof-general/html/IsaPGscreen.html, branch master

proof-general/html/IsaPGscreen.html, branch master Emacs plugins for proof management systems .phtml instead 1999-06-24T14:02:24+00:00 David Aspinall 1999-06-24T14:02:24+00:00 7e049e7ecc1ec8098463454f87369461bd10efc2

Updated to use local validator. 1998-12-17T17:13:18+00:00 David Aspinall 1998-12-17T17:13:18+00:00 7d3d4d53a861a671e487e15aea35f760189a42e8

Link to TOC of documentation html. 1998-12-17T10:48:10+00:00 David Aspinall 1998-12-17T10:48:10+00:00 612e40c64de862e0c98e645f15de1b342b76f9fa

Fixed top spacing to match other pages. 1998-10-15T16:43:42+00:00 David Aspinall 1998-10-15T16:43:42+00:00 94de4a61434e5533ae5e9582b8bd21c2dc6aefa9

Added index bar with bullet holes. 1998-10-15T16:01:03+00:00 David Aspinall 1998-10-15T16:01:03+00:00 da0968b1c486a2b2b326eb1639f3b2f421886380

Changed banner to use gif files for text. 1998-10-09T13:20:51+00:00 David Aspinall 1998-10-09T13:20:51+00:00 244f4295362c2896c1644c66a927d9388c3e9643

Validator fix 1998-10-08T14:48:58+00:00 David Aspinall 1998-10-08T14:48:58+00:00 4201a5161e161c8be5811f14d095172a9b257137

Validator fixes 1998-10-08T14:41:50+00:00 David Aspinall 1998-10-08T14:41:50+00:00 02b05d78a1762b2766f7042b9b7f0ec025867f81

Fixed Validator URLs 1998-10-08T14:34:22+00:00 David Aspinall 1998-10-08T14:34:22+00:00 1fcbe66ce68321fae608f282d6bdc2caf8d6430f

Added text logos. Menu now appears in screenshot. 1998-10-07T16:14:10+00:00 David Aspinall 1998-10-07T16:14:10+00:00 6466e08e1a8bc6ba2c956571654765057dd13bde