Tue, 22 Dec 2009 15:35:30 +0100 | wenzelm | just one variable for outer syntax keywords and completion; | file | diff | annotate |
Fri, 18 Dec 2009 21:46:29 +0100 | wenzelm | cache results; | file | diff | annotate |
Thu, 17 Dec 2009 20:25:39 +0100 | wenzelm | simplified Isabelle_Process.Result; | file | diff | annotate |
Wed, 16 Dec 2009 21:11:04 +0100 | wenzelm | explicit object Session.Global_Settings; | file | diff | annotate |
Fri, 11 Dec 2009 23:29:18 +0100 | wenzelm | more serious command line handling; | file | diff | annotate |
Fri, 11 Dec 2009 22:25:28 +0100 | wenzelm | removed unused Session.prover_logic; | file | diff | annotate |
Thu, 10 Dec 2009 22:15:19 +0100 | wenzelm | class Session models full session, with or without prover process (cf. heaps, browser_info); | file | diff | annotate |