descriptionThe Isabelle repository
ownerisabelle
last changeSun, 20 Apr 2014 00:25:05 +0100
changes
16 hours ago paulson 2014-04-20 sos accepts False, returns apply command default tip
22 hours ago wenzelm 2014-04-19 clarified actor plumbing;
22 hours ago wenzelm 2014-04-19 more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
23 hours ago wenzelm 2014-04-19 clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
23 hours ago wenzelm 2014-04-19 removed odd context argument: Thy_Info.get_theory does not fit into PIDE document model;
24 hours ago wenzelm 2014-04-19 obsolete for release;
24 hours ago wenzelm 2014-04-19 obsolete since polyml-5.5.0;
24 hours ago wenzelm 2014-04-19 added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
3 days ago wenzelm 2014-04-17 reintroduced process interrupt for the sake of synchronous protocol commands like "use_theories" (see also 27930cf6f0f7);
3 days ago wenzelm 2014-04-17 added protocol command "use_theories", with core functionality of batch build;
...
tags
4 months ago Isabelle2013-2
5 months ago Isabelle2013-1
14 months ago Isabelle2013
23 months ago Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
2009-12-02 Isabelle2009-1
2009-04-16 Isabelle2009
2008-06-08 Isabelle2008
...
branches
16 hours ago 54505623a8ef default
...