| Tue, 12 Aug 2014 15:46:20 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 12 Aug 2014 15:31:24 +0200 | wenzelm | clarified Position.Identified: do not require range from prover, default to command position; | changeset | files |
| Tue, 12 Aug 2014 14:15:58 +0200 | wenzelm | maintain Command_Range position as in ML; | changeset | files |
| Tue, 12 Aug 2014 13:18:17 +0200 | wenzelm | more compact representation of special string values; | changeset | files |
| Tue, 12 Aug 2014 12:06:22 +0200 | wenzelm | separate Java FX modules -- no need to include jfxrt.jar by default; | changeset | files |
| Tue, 12 Aug 2014 00:23:30 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 12 Aug 2014 00:17:02 +0200 | wenzelm | tuned signature; | changeset | files |