Sat, 04 Nov 2017 18:57:49 +0100 | wenzelm | tuned signature; | changeset | files |
Sat, 04 Nov 2017 17:11:21 +0100 | wenzelm | clarified lazy Completion within Outer_Syntax: measurable speedup of Sessions.deps; | changeset | files |
Sat, 04 Nov 2017 15:24:40 +0100 | wenzelm | more robust sorted_entries; | changeset | files |