| Tue, 24 Jul 2012 20:42:34 +0200 | wenzelm | more explicit document = false to reduce warnings; | file | diff | annotate |
| Tue, 24 Jul 2012 18:38:07 +0200 | wenzelm | more session entries; | file | diff | annotate |
| Tue, 24 Jul 2012 12:38:33 +0200 | wenzelm | clarified "document" again, eliminated redundant "no_document"; | file | diff | annotate |
| Tue, 24 Jul 2012 10:11:49 +0200 | wenzelm | clarified document options; | file | diff | annotate |
| Sat, 21 Jul 2012 22:13:50 +0200 | wenzelm | propagate defined options; | file | diff | annotate |
| Thu, 19 Jul 2012 14:24:40 +0200 | wenzelm | support Session.Queue with ordering and dependencies; | file | diff | annotate |
| Wed, 18 Jul 2012 17:22:59 +0200 | wenzelm | some HOL sessions; | file | diff | annotate |