Sat, 02 Apr 2016 22:38:26 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 02 Apr 2016 21:10:07 +0200 | wenzelm | careful export of type-dependent functions, without losing their special status; | file | diff | annotate |
Fri, 01 Apr 2016 11:45:04 +0200 | wenzelm | adapted to Poly/ML repository version 2e40cadc975a; | file | diff | annotate |
Sat, 26 Mar 2016 12:22:15 +0100 | wenzelm | avoid hardwired values; | file | diff | annotate |
Fri, 18 Mar 2016 21:21:09 +0100 | wenzelm | clarified print depth; | file | diff | annotate |
Fri, 18 Mar 2016 16:26:35 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Thu, 17 Mar 2016 16:56:44 +0100 | wenzelm | @{make_string} is available during Pure bootstrap; | file | diff | annotate |
Thu, 17 Mar 2016 13:44:18 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Thu, 03 Mar 2016 21:59:21 +0100 | wenzelm | discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM; | file | diff | annotate | base |