| Tue, 31 May 2016 11:54:45 +0200 | blanchet | made parsing of monomorphic/polymorphic constants more robust | changeset | files |
| Tue, 31 May 2016 10:53:11 +0200 | blanchet | more flexible parsing (towards type class support) | changeset | files |
| Tue, 31 May 2016 10:53:10 +0200 | blanchet | error message | changeset | files |
| Tue, 31 May 2016 11:45:34 +1000 | matichuk | allow multiple recursive methods to co-exist in order to support mutual recursion; | changeset | files |
| Mon, 30 May 2016 16:11:53 +1000 | matichuk | apply current morphism to method text before evaluating; | changeset | files |
| Mon, 30 May 2016 20:58:54 +0200 | wenzelm | merged | changeset | files |
| Mon, 30 May 2016 20:58:16 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 30 May 2016 14:15:44 +0200 | wenzelm | allow 'for' fixes for multi_specs; | changeset | files |