aboutsummaryrefslogtreecommitdiff
path: root/ROOT (follow)
Commit message (Expand)AuthorAgeFilesLines
* update for Isabelle2020Josh Chen2020-04-161-0/+1
* fix ROOTJosh Chen2020-04-031-1/+1
* Brand-spanking new version using Spartan infrastructureJosh Chen2020-04-021-22/+21
* 1. Change syntax to rely less on unicode/control symbols.Josh Chen2019-02-041-1/+2
* Add ROOT. No eta-contractionJosh Chen2018-09-181-2/+16
* add ROOT fileLars Hupel2018-09-181-0/+10