aboutsummaryrefslogtreecommitdiff
path: root/ROOT (unfollow)
Commit message (Expand)AuthorFilesLines
2020-04-16update for Isabelle2020Josh Chen1-0/+1
2020-04-03fix ROOTJosh Chen1-1/+1
2020-04-02Brand-spanking new version using Spartan infrastructureJosh Chen1-22/+21
2019-02-041. Change syntax to rely less on unicode/control symbols.Josh Chen1-1/+2
2018-09-18Add ROOT. No eta-contractionJosh Chen1-2/+16
2018-09-18add ROOT fileLars Hupel1-0/+10