| Sat, 17 Mar 2012 23:50:47 +0100 | wenzelm | amended locale_declaration: avoid duplication of Local_Theory.target with global_morphism (cf. 57def0b39696) -- Haftmann-Wenzel Sandwich has 3 layers, not 4; | changeset | files |
| Sat, 17 Mar 2012 22:46:19 +0100 | wenzelm | more precise syntax; | changeset | files |
| Sat, 17 Mar 2012 17:58:40 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 17 Mar 2012 17:44:29 +0100 | wenzelm | misc tuning to accomodate scala-2.10.0-M2; | changeset | files |
| Sat, 17 Mar 2012 17:36:10 +0100 | wenzelm | include scala.xml as of scala-2.9.1.final/misc/scala-tool-support/jedit/modes/scala.xml -- seems to be missing in more recent distributions; | changeset | files |
| Sat, 17 Mar 2012 16:13:41 +0100 | wenzelm | merged | changeset | files |
| Sat, 17 Mar 2012 12:37:32 +0000 | paulson | merged | changeset | files |