| Fri, 30 Nov 2012 15:24:01 +0100 | wenzelm | updated to exec_process-1.0.3; | changeset | files |
| Fri, 30 Nov 2012 15:05:51 +0100 | wenzelm | report proper pid *after* fork; | changeset | files |
| Fri, 30 Nov 2012 10:42:54 +0100 | wenzelm | prefer Symbol.decode_strict in batch mode, to avoid files with spurious Unicode symbols that clash with Isabelle symbol interpretation; | changeset | files |
| Thu, 29 Nov 2012 23:12:50 +0100 | wenzelm | more defensive retry via fork; | changeset | files |
| Thu, 29 Nov 2012 18:05:41 +0100 | wenzelm | merged | changeset | files |
| Thu, 29 Nov 2012 17:54:20 +0100 | kuncar | parametrized correspondence relation: more robust procedure - don't ignore sorts; tuned | changeset | files |
| Thu, 29 Nov 2012 17:12:51 +0100 | wenzelm | simplified use of fold/map; | changeset | files |