summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2018-08-15updated SRCINFO to isabelle 2018Sebastian Stüber
2018-08-15update to isabelle 2018Sebastian Stüber
2017-10-10updates srcinfoSebastian Stüber
2017-10-10isabelle 2017 relaseSebastian Stüber
2017-04-18maintainer changed, fixed broken sourcesbadcasa
2016-02-21[fix] updated srcinfobitwave
2016-02-21updated to 2016bitwave
2015-07-25removed nonsensebitwave
2015-07-19fixed desktop filebitwave
2015-07-16moved some depends to opt & added .desktop filebitwave
2015-06-09Initial Importbitwave