| Sat, 08 Mar 2014 13:25:56 +0100 | wenzelm | back to polyml-svn, with more threads to avoid problems with HOL-Proofs (see f376f18fd0b7); | changeset | files |
| Sat, 08 Mar 2014 12:44:15 +0100 | wenzelm | no completion for complete keywords, to avoid confusion of 'assume' ~> 'assumes' etc.; | changeset | files |
| Sat, 08 Mar 2014 12:31:23 +0100 | wenzelm | clarified description; | changeset | files |
| Sat, 08 Mar 2014 11:50:12 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 07 Mar 2014 23:28:05 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 07 Mar 2014 22:30:58 +0100 | wenzelm | more antiquotations; | changeset | files |
| Fri, 07 Mar 2014 22:19:52 +0100 | wenzelm | ignore special names that are treated differently for various sub-languages (main wild-card is identifier "__"); | changeset | files |
| Fri, 07 Mar 2014 20:50:02 +0100 | wenzelm | merged | changeset | files |