| Tue, 11 May 2010 14:58:46 +0100 | Christian Urban | a bit for the introduction of the q-paper | file | diff | annotate |
| Tue, 04 May 2010 17:25:58 +0200 | Cezary Kaliszyk | "isabelle make" compiles all examples with newparser/newfv/newalpha only. | file | diff | annotate |
| Tue, 04 May 2010 14:21:18 +0200 | Cezary Kaliszyk | Separate Term8, as it may work soon. | file | diff | annotate |