| Thu, 03 Oct 2013 16:15:47 +0200 | wenzelm | more notes; | changeset | files |
| Thu, 03 Oct 2013 16:09:47 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 03 Oct 2013 12:34:32 +0200 | nipkow | added and generalised lemmas | changeset | files |
| Thu, 03 Oct 2013 00:39:16 +0200 | ballarin | Streamlined locales reference material. | changeset | files |
| Wed, 02 Oct 2013 23:05:36 +0200 | nipkow | merged | changeset | files |
| Wed, 02 Oct 2013 22:32:50 +0200 | nipkow | tuned | changeset | files |
| Wed, 02 Oct 2013 22:59:54 +0200 | traytel | merged | changeset | files |
| Wed, 02 Oct 2013 22:59:19 +0200 | traytel | keep the qualification of bindings when noting bnf theorems | changeset | files |
| Wed, 02 Oct 2013 22:54:42 +0200 | blanchet | strengthened tactic (primcorec_sel_tac) + tuning | changeset | files |
| Wed, 02 Oct 2013 22:54:42 +0200 | blanchet | renamings | changeset | files |
| Wed, 02 Oct 2013 22:54:42 +0200 | blanchet | got rid of needless argument | changeset | files |
| Wed, 02 Oct 2013 22:54:42 +0200 | blanchet | make SMT integration slacker w.r.t. bad apples (facts) | changeset | files |
| Wed, 02 Oct 2013 22:54:42 +0200 | blanchet | strengthen top sort check | changeset | files |
| Wed, 02 Oct 2013 19:49:31 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 02 Oct 2013 19:49:15 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 02 Oct 2013 19:43:58 +0200 | wenzelm | unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19; | changeset | files |