isa-where-to-move.git
2014-12-19 Joachim BreitnerMention problems with interpretation master
2014-12-19 Joachim BreitnerTaking constants into accounts seems to help with locales
2014-12-19 Joachim BreitnerCorrectly handle "where_to_move thm_somewhere_else"
2014-12-19 Joachim BreitnerMore TODO
2014-12-19 Joachim BreitnerUpdate README
2014-12-19 Joachim BreitnerPrint theorem names fully qualified
2014-12-19 Joachim BreitnerTake occuring constants into account
2014-12-19 Joachim BreitnerFound out how to make theory names clickable
2014-12-19 Joachim BreitnerWhitespace only
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