#
08272beb |
|
21-Sep-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fixes and tests arising from namespacing tyabbrevs Document how to remove/disable-printing-for all type abbreviations of a given name, or a specific abbreviation from a given theory. Tests for this. Final cleanup for #168 I hope.
|