| Mon, 30 Jul 2012 14:38:45 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Mon, 30 Jul 2012 14:11:29 +0200 | wenzelm | more uniform usage of "isabelle tool"; | file | diff | annotate |
| Mon, 30 Jul 2012 12:03:48 +0200 | wenzelm | added build option -c; | file | diff | annotate |
| Mon, 30 Jul 2012 11:03:44 +0200 | wenzelm | removed build option -f (cf. a125b8040ada), due to slightly inconvenient behaviour on ancestors; | file | diff | annotate |
| Sun, 29 Jul 2012 21:40:46 +0200 | wenzelm | added build option -f; | file | diff | annotate |
| Sat, 28 Jul 2012 22:01:21 +0200 | haftmann | corrected slip | file | diff | annotate |
| Sat, 28 Jul 2012 20:07:21 +0200 | wenzelm | some introduction on sessions; | file | diff | annotate |
| 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 |