Be less verbose
[isa-where-to-move.git] / README.md
2014-12-19 Joachim BreitnerBe less verbose
2014-12-19 Joachim BreitnerAvoid Parse_Spec.xthms1 and make theorem names clickable
2014-12-18 Joachim BreitnerEven more todo
2014-12-18 Joachim BreitnerMore todo
2014-12-18 Joachim BreitnerFix markup
2014-12-18 Joachim BreitnerInitial release