| 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 |
| Sat, 17 Mar 2012 12:36:11 +0000 | paulson | tidying and structured proofs | changeset | files |