aboutsummaryrefslogtreecommitdiff
path: root/README.md (unfollow)
Commit message (Expand)AuthorFilesLines
2020-04-16Update README.mdJosh Chen1-1/+1
2020-04-16update for Isabelle2020Josh Chen1-3/+3
2020-04-06Update README.mdJosh Chen1-2/+2
2020-04-02Brand-spanking new version using Spartan infrastructureJosh Chen1-6/+6
2020-01-24make development shift really obviousJosh Chen1-2/+2
2020-01-24Update README.mdJosh Chen1-1/+1
2020-01-24Update README.mdJosh Chen1-1/+1
2020-01-24Update README.mdJosh Chen1-3/+3
2019-11-29Change linkJosh Chen1-1/+1
2019-10-29Update README.mdJosh Chen1-3/+3
2019-10-29Update README.mdJosh Chen1-1/+2
2019-10-29Update README.mdJosh Chen1-1/+5
2019-10-15Update README.mdJosh Chen1-0/+1
2019-02-23touchupsJosh Chen1-1/+1
2019-02-23readmeJosh Chen1-3/+12
2018-09-20Update README.mdJosh Chen1-1/+1
2018-09-18Update README.mdJosh Chen1-0/+6
2018-09-18Update README.mdJosh Chen1-16/+0
2018-09-17Update README.mdJosh Chen1-3/+1
2018-09-12Update README.mdJosh Chen1-2/+2
2018-09-12Update README.mdJosh Chen1-1/+1
2018-09-12Add DOI badgeJosh Chen1-0/+2
2018-09-11Update README.mdJosh Chen1-3/+7
2018-08-30Update README.mdJosh Chen1-1/+1
2018-08-18Update licenseJosh Chen1-1/+1
2018-08-17Update README.mdJosh Chen1-9/+5
2018-08-17Update README.mdJosh Chen1-2/+3
2018-08-17Update README.mdJosh Chen1-1/+6
2018-08-17Add contactJosh Chen1-1/+1
2018-08-17Update README.mdJosh Chen1-1/+1
2018-08-17Update README.mdJosh Chen1-1/+2
2018-08-17Create README.mdJosh Chen1-0/+16