| Thu, 01 Aug 2013 23:25:14 +0200 | wenzelm | merged | changeset | files |
| Thu, 01 Aug 2013 23:10:46 +0200 | wenzelm | optional static analysis for Poly/ML 5.5.x; | changeset | files |
| Thu, 01 Aug 2013 22:47:52 +0200 | wenzelm | exception trace for Poly/ML 5.5.1, using regular Isabelle output; | changeset | files |
| Thu, 01 Aug 2013 22:20:07 +0200 | wenzelm | recode utf8 for ML, as done in feeder.pl; | changeset | files |
| Thu, 01 Aug 2013 22:19:32 +0200 | wenzelm | more explicit read-only non-TTY mode; | changeset | files |
| Thu, 01 Aug 2013 22:05:49 +0200 | wenzelm | clarified options; | changeset | files |