| Fri, 20 Nov 2009 15:29:56 -0800 | huffman | make repdef work without (open) option | changeset | files |
| Fri, 20 Nov 2009 14:35:55 -0800 | huffman | NEWS: HOLCF changes since the last release | changeset | files |
| Fri, 20 Nov 2009 17:56:06 +0100 | wenzelm | removed hard tabs from text (not pattern); | changeset | files |
| Fri, 20 Nov 2009 16:08:14 +0100 | wenzelm | standardized headers; | changeset | files |
| Fri, 20 Nov 2009 15:48:36 +0100 | wenzelm | provide standard isabelle make targets; | changeset | files |
| Fri, 20 Nov 2009 15:34:11 +0100 | wenzelm | merged | changeset | files |
| Fri, 20 Nov 2009 15:33:10 +0100 | wenzelm | load ML directly into theory Code_Generator (quickcheck also requires this); | changeset | files |
| Fri, 20 Nov 2009 22:38:41 +1100 | kleing | made script executable | changeset | files |
| Fri, 20 Nov 2009 22:28:39 +1100 | kleing | added NEWS item for wwwfind | changeset | files |
| Fri, 20 Nov 2009 18:36:44 +1100 | kleing | WWW_Find component: find_theorems via web browser | changeset | files |
| Fri, 20 Nov 2009 10:40:30 +0100 | wenzelm | merged | changeset | files |
| Fri, 20 Nov 2009 09:22:14 +0100 | nipkow | merged | changeset | files |
| Fri, 20 Nov 2009 09:21:59 +0100 | nipkow | Rene tuned proof | changeset | files |
| Fri, 20 Nov 2009 00:06:04 -0800 | huffman | example theory for new domain package | changeset | files |
| Thu, 19 Nov 2009 23:15:24 -0800 | huffman | thy_decl outer syntax for repdef | changeset | files |