| Tue, 07 Aug 2012 17:08:22 +0200 | wenzelm | prefer static Build.session_content for loaded theories -- discontinued incremental protocol; | file | diff | annotate |
| Tue, 07 Aug 2012 16:34:15 +0200 | wenzelm | prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol; | file | diff | annotate |
| Tue, 29 May 2012 18:00:54 +0200 | wenzelm | more explicit treatment of return code vs. session phase; | file | diff | annotate |