| Mon, 27 Feb 2012 15:39:47 +0100 | wenzelm | updated cut_tac, without loose references to implementation manual; | file | diff | annotate |
| Wed, 15 Feb 2012 21:29:23 +0100 | wenzelm | clarified outer syntax "constdecl", which is only local to some rail diagrams; | file | diff | annotate |
| Sun, 29 Jan 2012 22:00:10 +0100 | wenzelm | updated thin_tac; | file | diff | annotate |