Mon, 01 Jun 2015 18:59:20 +0200 haftmann explicit argument expansion of uncheck rules;
Mon, 01 Jun 2015 18:59:20 +0200 haftmann explicit input marker for operations
Mon, 01 Jun 2015 18:59:20 +0200 haftmann completely separated canonical class abbreviations from abbreviations stemming from non-canonical morphisms -- these have no shared concept
Mon, 01 Jun 2015 18:59:20 +0200 haftmann self-contained formulation of abbrev for named targets
Mon, 01 Jun 2015 18:59:20 +0200 haftmann correct sort constraints for abbreviations in type classes
Mon, 01 Jun 2015 18:59:20 +0200 haftmann separate function to compute exported abbreviation
Mon, 01 Jun 2015 18:59:20 +0200 haftmann clearly separated target primitives (target_foo) from self-contained target operations (foo)
Mon, 01 Jun 2015 18:59:20 +0200 haftmann tuned order
Mon, 01 Jun 2015 18:59:20 +0200 haftmann dedicated config options to deactivate uncheck phase for improvable syntax
Mon, 01 Jun 2015 18:59:19 +0200 haftmann clarified interfaces for improvable syntax
Mon, 01 Jun 2015 18:59:19 +0200 haftmann tuned
Mon, 01 Jun 2015 18:07:36 +0200 wenzelm clarified context;
Mon, 01 Jun 2015 17:44:45 +0200 wenzelm clarified context;
Mon, 01 Jun 2015 17:08:47 +0200 wenzelm clarified context;
Mon, 01 Jun 2015 16:07:38 +0200 wenzelm tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip