Mon, 19 Nov 2012 22:34:17 +0100 | wenzelm | alternative completion for outer syntax keywords; | changeset | files |
Mon, 19 Nov 2012 20:47:13 +0100 | wenzelm | init options on startup as well; | changeset | files |
Mon, 19 Nov 2012 20:23:47 +0100 | wenzelm | theorem status about oracles/futures is no longer printed by default; | changeset | files |