| Sat, 12 Dec 2015 15:26:30 +0100 | wenzelm | clarified ML scopes; | changeset | files |
| Sat, 12 Dec 2015 15:20:49 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 12 Dec 2015 15:17:54 +0100 | wenzelm | unused; | changeset | files |
| Sat, 12 Dec 2015 15:17:06 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Dec 2015 13:44:20 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 12 Dec 2015 18:58:06 +0100 | haftmann | modernized | changeset | files |
| Sat, 12 Dec 2015 16:32:00 +0100 | haftmann | modernized | changeset | files |
| Fri, 11 Dec 2015 11:31:57 +0100 | haftmann | modernized | changeset | files |
| Thu, 10 Dec 2015 21:39:33 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |
| Thu, 10 Dec 2015 21:31:24 +0100 | wenzelm | proper checksum for cygwin-20151210.tar.gz (some snapshot after 1.7.35-1); | changeset | files |
| Thu, 10 Dec 2015 20:49:38 +0100 | wenzelm | avoid application spurious startup error; | changeset | files |
| Thu, 10 Dec 2015 16:54:59 +0100 | wenzelm | current Cygwin snapshot in preparation of release; | changeset | files |
| Thu, 10 Dec 2015 16:31:00 +0100 | wenzelm | hardwired LANG, to avoid sporadic surprises with local environments; | changeset | files |
| Thu, 10 Dec 2015 15:53:28 +0100 | wenzelm | make SML/NJ happy; | changeset | files |
| Thu, 10 Dec 2015 13:38:40 +0000 | paulson | not_leE -> not_le_imp_less and other tidying | changeset | files |
| Mon, 07 Dec 2015 10:49:08 +0100 | haftmann | clarified terminology | changeset | files |
| Wed, 09 Dec 2015 21:20:56 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 09 Dec 2015 21:15:28 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 09 Dec 2015 21:10:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 09 Dec 2015 20:58:09 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 09 Dec 2015 20:21:13 +0100 | wenzelm | more direct use of Token.src as token list; | changeset | files |
| Wed, 09 Dec 2015 18:59:39 +0100 | wenzelm | merged | changeset | files |
| Wed, 09 Dec 2015 18:45:46 +0100 | wenzelm | unused; | changeset | files |
| Wed, 09 Dec 2015 18:28:28 +0100 | wenzelm | merged | changeset | files |
| Wed, 09 Dec 2015 16:36:26 +0100 | wenzelm | clarified type Token.src: plain token list, with usual implicit value assignment; | changeset | files |
| Wed, 09 Dec 2015 16:22:29 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 08 Dec 2015 11:28:57 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 08 Dec 2015 10:49:08 +0100 | wenzelm | added Proof_Context.add_thms_dynamic, which is potentially useful for Eisbach; | changeset | files |
| Wed, 09 Dec 2015 17:35:22 +0000 | paulson | sorted out eventually_mono | changeset | files |
| Tue, 08 Dec 2015 20:21:59 +0100 | nipkow | tightened invariant | changeset | files |