| 2010-05-19 | Christian Urban | added comments about pottiers work | file | diff | annotate |
| 2010-05-17 | Christian Urban | somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms | file | diff | annotate |
| 2010-05-11 | Christian Urban | a bit for the introduction of the q-paper | file | diff | annotate |
| 2010-05-04 | Cezary Kaliszyk | "isabelle make" compiles all examples with newparser/newfv/newalpha only. | file | diff | annotate |
| 2010-05-04 | Cezary Kaliszyk | Separate Term8, as it may work soon. | file | diff | annotate |
| 2010-04-08 | Christian Urban | tuned type-schemes example | file | diff | annotate |
| 2010-04-03 | Christian Urban | added README and moved examples into separate directory | file | diff | annotate | base |