| Thu, 19 Jul 2012 19:12:58 +0200 | wenzelm | include COMPONENT/etc/sessions as catalog for more directories, for improved scalability with hundreds of entries (notably AFP); | changeset | files |
| Thu, 19 Jul 2012 16:09:48 +0200 | wenzelm | less redundant data structures; | changeset | files |
| Thu, 19 Jul 2012 15:45:59 +0200 | wenzelm | clarified topological ordering: preserve order of adjacency via reverse fold; | changeset | files |
| Thu, 19 Jul 2012 14:24:40 +0200 | wenzelm | support Session.Queue with ordering and dependencies; | changeset | files |
| Thu, 19 Jul 2012 14:15:08 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 19 Jul 2012 12:37:08 +0200 | wenzelm | more explicit treatment of initial Pure sessions; | changeset | files |
| Thu, 19 Jul 2012 12:05:54 +0200 | wenzelm | more general support for Isabelle/Scala command line tools; | changeset | files |