| Sat, 14 Nov 2009 18:16:13 +0100 | wenzelm | updated keywords; | changeset | files |
| Sat, 14 Nov 2009 18:15:21 +0100 | wenzelm | generate keywords for Emacs Proof General only; | changeset | files |
| Sat, 14 Nov 2009 18:14:00 +0100 | wenzelm | dismantled remains of old jEdit plugin; | changeset | files |
| Sat, 14 Nov 2009 17:49:29 +0100 | wenzelm | isabelle_document: more explicit error output, notably for drafts; | changeset | files |
| Fri, 13 Nov 2009 16:10:04 -0800 | huffman | LocalTheory -> Local_Theory | changeset | files |
| Fri, 13 Nov 2009 15:40:06 -0800 | huffman | merged | changeset | files |
| Fri, 13 Nov 2009 15:31:20 -0800 | huffman | automate definition of representable domains from algebraic deflations | changeset | files |