Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
Thu, 11 Aug 2016 18:26:44 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
Mon, 04 Apr 2016 16:14:22 +0200 | wenzelm | clarified bootstrap; | file | diff | annotate |
Sun, 03 Apr 2016 21:32:57 +0200 | wenzelm | clarified Isabelle tool wrapper: bash, Scala, no perl, no ML; | file | diff | annotate |
Fri, 18 Mar 2016 22:19:46 +0100 | wenzelm | isabelle process -T THEORY; | file | diff | annotate |
Wed, 16 Mar 2016 22:06:05 +0100 | wenzelm | eliminated without magic name; | file | diff | annotate |
Wed, 16 Mar 2016 21:14:59 +0100 | wenzelm | clarified name; | file | diff | annotate | base |