| Wed, 21 Dec 2016 11:14:55 +0100 | blanchet | merge | changeset | files |
| Wed, 21 Dec 2016 11:14:37 +0100 | blanchet | renamed confusing variable names | changeset | files |
| Tue, 20 Dec 2016 22:32:04 +0100 | wenzelm | clarified module name; | changeset | files |
| Tue, 20 Dec 2016 22:24:16 +0100 | wenzelm | more uniform rendering for Isabelle/jEdit and Isabelle/VSCode; | changeset | files |
| Tue, 20 Dec 2016 21:35:56 +0100 | wenzelm | clarified module name; | changeset | files |
| Tue, 20 Dec 2016 18:11:42 +0100 | wenzelm | merged | changeset | files |
| Tue, 20 Dec 2016 17:46:44 +0100 | wenzelm | proper reset of column (amending 01e50039edc9); | changeset | files |
| Tue, 20 Dec 2016 17:09:40 +0100 | wenzelm | added option -T: text length encoding; | changeset | files |