Fri, 09 Apr 2021 22:06:59 +0200 | wenzelm | support for ML special forms: modified evaluation similar to Scheme; | changeset | files |
Fri, 09 Apr 2021 21:07:11 +0200 | wenzelm | clarified signature: more detailed token positions for antiquotations; | changeset | files |
Thu, 08 Apr 2021 20:52:19 +0200 | wenzelm | merged | changeset | files |
Thu, 08 Apr 2021 16:43:35 +0200 | wenzelm | clarified signature; | changeset | files |
Thu, 08 Apr 2021 12:38:18 +0000 | haftmann | confluent preprocessing for floats in presence of target language numerals | changeset | files |
Wed, 07 Apr 2021 15:46:06 +0000 | haftmann | subclass relation | changeset | files |