summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2021-02-21update .SRCINFOMW360
2021-02-21update version to 2021MW360
2020-04-23initialize isabelle-tum packageMW360