Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove note about 3.1 | 2001-08-10 | |
* | Fix Proof General web page to www.proofgeneral.org. | 2000-09-26 | |
* | Rearranged, more info about X-Sym probs | 2000-06-22 | |
* | Added question asked by Larry. | 2000-05-16 | |
* | X-Symbol funny chars question | 2000-05-11 | |
* | Added question about saving options | 2000-05-09 | |
* | Beginnings of a FAQ. | 2000-05-05 |