| Sat, 23 Nov 2019 16:02:42 +0100 | wenzelm | more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump"; | changeset | files |
| Sat, 23 Nov 2019 14:48:44 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 23 Nov 2019 11:45:02 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 23 Nov 2019 11:36:42 +0100 | wenzelm | clarified error: tmp file can be invalid in odd situations; | changeset | files |
| Sat, 23 Nov 2019 11:28:15 +0100 | wenzelm | more robust: file length can be invalid in odd situations; | changeset | files |
| Sat, 23 Nov 2019 11:19:18 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 22 Nov 2019 15:26:08 +0100 | haftmann | tuned whitespace | changeset | files |
| Fri, 22 Nov 2019 09:25:01 +0000 | haftmann | proper prefix syntax | changeset | files |