| Sat, 20 Aug 2011 20:00:55 +0200 | wenzelm | more direct balanced version Ord_List.unions; | file | diff | annotate |
| Thu, 18 Aug 2011 15:15:43 +0200 | wenzelm | tune Par_Exn.make: balance merge; | file | diff | annotate |
| Thu, 18 Aug 2011 00:02:44 +0200 | wenzelm | follow updates of Isabelle/Pure; | file | diff | annotate |
| Thu, 11 Aug 2011 13:22:22 +0200 | wenzelm | disentangled nested ML files; | file | diff | annotate |
| Thu, 11 Aug 2011 12:49:14 +0200 | wenzelm | more trimming; | file | diff | annotate |
| Thu, 11 Aug 2011 12:30:41 +0200 | wenzelm | recovered some ML toplevel pp; | file | diff | annotate |
| Thu, 11 Aug 2011 12:24:10 +0200 | wenzelm | some trimming; | file | diff | annotate |
| Thu, 11 Aug 2011 12:11:50 +0200 | wenzelm | prefix of Pure/ROOT.ML required for concurrency within the ML runtime; | file | diff | annotate |