| Tue, 16 Aug 2011 13:07:52 -0700 | huffman | Multivariate_Analysis includes Determinants.thy, but doesn't import it by default | changeset | files |
| Tue, 16 Aug 2011 07:56:17 -0700 | huffman | get Multivariate_Analysis/Determinants.thy compiled and working again | changeset | files |
| Tue, 16 Aug 2011 07:06:54 -0700 | huffman | get Library/Permutations.thy compiled and working again | changeset | files |
| Tue, 16 Aug 2011 23:17:26 +0200 | wenzelm | workaround for Cygwin, to make it work in the important special case without extra files; | changeset | files |
| Tue, 16 Aug 2011 22:48:31 +0200 | wenzelm | more robust Thy_Header.base_name, with minimal assumptions about path syntax; | changeset | files |
| Tue, 16 Aug 2011 21:54:06 +0200 | wenzelm | tuned message; | changeset | files |