| Fri, 18 Mar 2016 22:19:46 +0100 |
wenzelm |
isabelle process -T THEORY;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 11:45:25 +0100 |
wenzelm |
less physical "logic" argument, with option -l like "isabelle console" etc.;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 17:30:04 +0100 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2016 19:30:09 +0100 |
wenzelm |
isabelle.Build uses ML_Process directly;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 20:35:06 +0100 |
wenzelm |
isabelle_process executable no longer supports writable heap images;
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 21:46:41 +0100 |
sultana |
updated syntax to use 'ML_file' rather than 'uses';
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 21:46:40 +0100 |
sultana |
corrected syntax filter;
|
file |
diff |
annotate
|
| Tue, 17 Apr 2012 16:14:07 +0100 |
sultana |
improved tptp_graph robustness by relying on thy;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 15:08:59 +0100 |
sultana |
aligned tptp_graph dependencies to Isabelle conventions;
|
file |
diff |
annotate
|
| Tue, 10 Apr 2012 06:45:15 +0100 |
sultana |
added graph-conversion utility for TPTP files
|
file |
diff |
annotate
|