Sebastian Ullrich
|
ca8be3857c
|
feat(library/user_attribute): add user-defined attributes and make attribute_manager environment-aware
|
2016-08-18 12:56:44 -07:00 |
|
Sebastian Ullrich
|
34e00cd5a2
|
refactor(library/attribute_manger): simplify: make every attribute prioritizable
|
2016-08-16 13:49:02 -07:00 |
|
Sebastian Ullrich
|
31f599e088
|
refactor(library/attribute_manager): introduce hierarchy of attribute classes
|
2016-07-29 23:44:22 -04:00 |
|
Sebastian Ullrich
|
c4edad0372
|
feat(frontends/lean, library): remove attribute and metaclass scoping
All data is now part of either a global, permanent scope or a local,
temporary one
|
2016-07-29 23:44:21 -04:00 |
|
Sebastian Ullrich
|
661fafc940
|
refactor(frontends/lean): replace different attribute classes with single scoped_ext
|
2016-07-29 18:51:23 -04:00 |
|
Leonardo de Moura
|
6caca44e41
|
fix(library/unification_hint): unification hint pp
|
2016-03-09 12:52:28 -08:00 |
|
Daniel Selsam
|
bb4b8da582
|
feat(library/unification_hint): basic handling of user-supplied unification hints
|
2016-02-12 11:48:51 -08:00 |
|