Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Isar is default over isa. | 2002-06-21 | ||
* | 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 |