| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | correct sort constraints for abbreviations in type classes | changeset | files |
| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | separate function to compute exported abbreviation | changeset | files |
| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | clearly separated target primitives (target_foo) from self-contained target operations (foo) | changeset | files |
| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | tuned order | changeset | files |
| Mon, 01 Jun 2015 18:59:20 +0200 | haftmann | dedicated config options to deactivate uncheck phase for improvable syntax | changeset | files |
| Mon, 01 Jun 2015 18:59:19 +0200 | haftmann | clarified interfaces for improvable syntax | changeset | files |
| Mon, 01 Jun 2015 18:59:19 +0200 | haftmann | tuned | changeset | files |
| Mon, 01 Jun 2015 18:07:36 +0200 | wenzelm | clarified context; | changeset | files |