Fri, 06 Jul 2012 16:20:54 +0200 | wenzelm | discontinued obsolete attribute "COMP"; | file | diff | annotate |
Wed, 23 May 2012 16:22:27 +0200 | wenzelm | discontinued obsolete method fastsimp / tactic fast_simp_tac; | file | diff | annotate |
Mon, 16 Apr 2012 21:37:08 +0200 | wenzelm | document attribute "abs_def"; | file | diff | annotate |
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 |
Sun, 29 Jan 2012 21:04:39 +0100 | wenzelm | updated rotate_tac; | file | diff | annotate |