| Thu, 11 Aug 2011 13:05:56 -0700 | huffman | modify euclidean_space class to include basis set | changeset | files |
| Thu, 11 Aug 2011 09:11:15 -0700 | huffman | remove lemma stupid_ext | changeset | files |
| Fri, 12 Aug 2011 17:01:30 +0200 | nipkow | documented extended version of case_names attribute | changeset | files |
| Fri, 12 Aug 2011 22:10:49 +0200 | wenzelm | normalized theory dependencies wrt. file_store; | changeset | files |
| Fri, 12 Aug 2011 20:32:25 +0200 | wenzelm | general Graph.schedule; | changeset | files |
| Fri, 12 Aug 2011 15:30:12 +0200 | wenzelm | allow "$" within basic path elements (NB: initial "$" refers to path variable); | changeset | files |
| Fri, 12 Aug 2011 15:28:30 +0200 | wenzelm | clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path); | changeset | files |
| Fri, 12 Aug 2011 12:03:17 +0200 | wenzelm | simplified class Thy_Header; | changeset | files |