| Wed, 20 Dec 2006 18:38:27 +0100 | aspinall | Use new Proof General code by default [see comment for reverting] | changeset | files |
| Wed, 20 Dec 2006 17:03:46 +0100 | paulson | change from "Array" to "Vector" | changeset | files |
| Tue, 19 Dec 2006 19:34:35 +0100 | huffman | add lemmas Standard_starfun(2)_iff | changeset | files |
| Tue, 19 Dec 2006 17:35:33 +0100 | aspinall | Missing elements from doc_markup_elements | changeset | files |