#
51377482 |
|
18-Mar-2016 |
wenzelm <none@none> |
isabelle process -T THEORY;
|
#
1f59160a |
|
16-Mar-2016 |
wenzelm <none@none> |
less physical "logic" argument, with option -l like "isabelle console" etc.;
|
#
239ff6e6 |
|
10-Mar-2016 |
wenzelm <none@none> |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
#
00eb33e4 |
|
09-Mar-2016 |
wenzelm <none@none> |
isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual; --HG-- rename : bin/isabelle_process => lib/Tools/process
|
#
069a632f |
|
09-Mar-2016 |
wenzelm <none@none> |
isabelle.Build uses ML_Process directly; isabelle_process is for batch mode only; removed unused feeder (already part of "isabelle console");
|
#
bed2392b |
|
29-Feb-2016 |
wenzelm <none@none> |
isabelle_process executable no longer supports writable heap images;
|
#
82fc53f3 |
|
03-Sep-2013 |
sultana <none@none> |
updated syntax to use 'ML_file' rather than 'uses';
|
#
7856b457 |
|
03-Sep-2013 |
sultana <none@none> |
corrected syntax filter;
|
#
dcadba19 |
|
17-Apr-2012 |
sultana <none@none> |
improved tptp_graph robustness by relying on thy; reused cleanup code; improved messages;
|
#
108bc19e |
|
14-Apr-2012 |
sultana <none@none> |
aligned tptp_graph dependencies to Isabelle conventions;
|
#
2e513eb8 |
|
09-Apr-2012 |
sultana <none@none> |
added graph-conversion utility for TPTP files
|