Fri, 03 Dec 2010 09:55:45 +0100 | blanchet | run synchronous Auto Tools in parallel | file | diff | annotate |
Mon, 25 Oct 2010 21:06:56 +0200 | wenzelm | renamed Output.priority to Output.urgent_message to emphasize its special role more clearly; | file | diff | annotate |
Mon, 25 Oct 2010 16:52:20 +0200 | wenzelm | export main ML entry by default; | file | diff | annotate |
Mon, 25 Oct 2010 16:41:23 +0200 | wenzelm | observe Isabelle/ML coding standards; | file | diff | annotate |
Mon, 25 Oct 2010 10:30:46 +0200 | blanchet | introduced manual version of "Auto Solve" as "solve_direct" | file | diff | annotate | base |