| Sat, 22 Feb 2014 20:56:50 +0100 | wenzelm | clarified module location (again, see 763d35697338); | changeset | files |
| Sat, 22 Feb 2014 20:52:43 +0100 | wenzelm | support for completion within the formal context; | changeset | files |
| Sat, 22 Feb 2014 18:07:31 +0100 | wenzelm | removed remains of old experiment (see b933142e02d0); | changeset | files |
| Sat, 22 Feb 2014 17:13:30 +0100 | wenzelm | removed dead code; | changeset | files |
| Sat, 22 Feb 2014 16:58:02 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 22 Feb 2014 16:16:21 +0100 | wenzelm | NEWS; | changeset | files |
| Sat, 22 Feb 2014 16:11:23 +0100 | wenzelm | tuned comment; | changeset | files |
| Sat, 22 Feb 2014 15:07:33 +0100 | wenzelm | refined language context: antiquotes; | changeset | files |
| Fri, 21 Feb 2014 23:42:43 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 21 Feb 2014 21:27:55 +0100 | wenzelm | merged | changeset | files |
| Fri, 21 Feb 2014 21:08:03 +0100 | wenzelm | more standard theory name; | changeset | files |
| Fri, 21 Feb 2014 20:54:13 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 21 Feb 2014 20:47:48 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 21 Feb 2014 20:37:13 +0100 | wenzelm | proper ML structure with signature; | changeset | files |
| Fri, 21 Feb 2014 20:29:33 +0100 | wenzelm | reduced ML warnings; | changeset | files |