blob: d1fbdc6e770e6e97be8e0ff6111f5179e98a7cd9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
Developers' Notes about Web Pages
---------------------------------
*************
Tell Thomas (& other folk?) to update his home page links to Proof General.
*************
Suggestions for improving web pages after Rod reading them:
- slideshow rather than single screen shot
- separate feature list
- explain what a proof script is and what script management buys you
Get Dave a laptop to do demos on!
|