| Thu, 26 Aug 2010 12:19:49 +0200 | haftmann | prevent line breaks after Scala symbolic operators | changeset | files |
| Thu, 26 Aug 2010 10:23:25 +0200 | haftmann | corrected semantics of presentation_stmt_names; do not print includes on presentation selection | changeset | files |
| Thu, 26 Aug 2010 10:16:22 +0200 | haftmann | code_include Scala: qualify module nmae | changeset | files |
| Wed, 25 Aug 2010 22:47:04 +0200 | haftmann | merged | changeset | files |
| Wed, 25 Aug 2010 16:33:05 +0200 | haftmann | preliminary implementation of hierarchical module name space | changeset | files |
| Wed, 25 Aug 2010 16:33:05 +0200 | haftmann | tuned | changeset | files |
| Fri, 27 Aug 2010 12:40:20 +0200 | wenzelm | proper context for various Thy_Output options, via official configuration options in ML and Isar; | changeset | files |