| Thu, 05 Aug 2010 14:35:35 +0200 | wenzelm | simplified/refined document model: collection of named nodes, without proper dependencies yet; | changeset | files |
| Thu, 05 Aug 2010 13:41:00 +0200 | wenzelm | somewhat uniform Thy_Header.split_thy_path in ML and Scala; | changeset | files |
| Wed, 04 Aug 2010 16:28:45 +0200 | wenzelm | uniform naming of imports (source specification) vs. parents (thy node names) vs. parent_thys (theory values); | changeset | files |