| Sat, 08 Mar 2014 21:08:10 +0100 | wenzelm | modernized Attrib.check_name/check_src similar to methods (see also a989bdaf8121); | changeset | files |
| Sat, 08 Mar 2014 13:49:01 +0100 | wenzelm | allow suffix of underscores for words (notably keywords), similar to semantic completion; | changeset | files |
| 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 |