| Tue, 22 Jul 2014 14:52:35 +0200 | wenzelm | discontinued presumable workarounds for extra inter-theory space, which are obsolete since 0e5fa27d3293; | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |