| Thu, 13 Jan 2011 17:30:52 +0100 | wenzelm | clarified split_thy_path; | changeset | files |
| Thu, 13 Jan 2011 17:27:52 +0100 | wenzelm | less verbosity; | changeset | files |
| Wed, 12 Jan 2011 16:04:47 -0800 | huffman | proper 'domain' class instance for 'a defl, with deflation combinator | changeset | files |
| Wed, 12 Jan 2011 21:57:01 +0100 | krauss | documented Option.bind | changeset | files |
| Wed, 12 Jan 2011 21:49:04 +0100 | krauss | CONTRIBUTORS | changeset | files |
| Wed, 12 Jan 2011 17:33:47 +0100 | wenzelm | updated keywords; | changeset | files |
| Wed, 12 Jan 2011 17:19:50 +0100 | wenzelm | eliminated global prems; | changeset | files |
| Wed, 12 Jan 2011 17:14:27 +0100 | wenzelm | eliminated global prems; | changeset | files |
| Wed, 12 Jan 2011 16:41:49 +0100 | wenzelm | updated to ProofGeneral-4.x; | changeset | files |
| Wed, 12 Jan 2011 16:33:04 +0100 | wenzelm | eliminated global prems; | changeset | files |
| Wed, 12 Jan 2011 15:53:37 +0100 | wenzelm | tuned proof; | changeset | files |
| Wed, 12 Jan 2011 15:38:57 +0100 | wenzelm | eliminated global prems; | changeset | files |
| Wed, 12 Jan 2011 15:22:24 +0100 | wenzelm | compile; | changeset | files |
| Wed, 12 Jan 2011 15:15:51 +0100 | wenzelm | more FIXMEs concerning bad catch-all exception handlers; | changeset | files |