Sat, 28 Jul 2012 19:48:19 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 28 Jul 2012 19:37:35 +0200 | wenzelm | some description of main build options; | file | diff | annotate |
Sat, 28 Jul 2012 18:20:47 +0200 | wenzelm | more on "Session ROOT specifications"; | file | diff | annotate |
Sat, 28 Jul 2012 15:21:49 +0200 | wenzelm | some description of isabelle build; | file | diff | annotate |