descriptionnone
ownergit repository hosting
last changeFri, 19 Dec 2014 13:14:02 +0000 (14:14 +0100)
shortlog
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
heads
4 years ago master