Isabelle-HoTT/.gitignore, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 minor 2020-07-23T11:00:04+00:00 Josh Chen 2020-07-23T11:00:04+00:00 f20d91f75d39eda19d8e8e2f8c0476b11aeab7d2 






reorganize
2020-06-19T10:41:54+00:00

Josh Chen

2020-06-19T10:41:54+00:00

4f147cba894baa9e372e2b67211140b1a6f7b16c












Brand-spanking new version using Spartan infrastructure
2020-04-02T15:57:48+00:00

Josh Chen

2020-04-02T15:57:48+00:00

c2dfffffb7586662c67e44a2d255a1a97ab0398b












.gitignore
2018-08-18T21:43:10+00:00

Josh Chen

2018-08-18T21:43:10+00:00

7fe4e90dceb8c77c2ec8678ce7316240e34700cc












.gitignore
2018-08-18T12:58:17+00:00

Josh Chen

2018-08-18T12:58:17+00:00

b0c85e7a4590e37d2b59d80106b993c3746445f0












Ignore more files
2018-08-18T12:31:40+00:00

Josh Chen

2018-08-18T12:31:40+00:00

25c9fda31bb49a0f825f4010fe3d26f6749fc34a












Init
2018-05-03T15:06:48+00:00

Josh Chen

2018-05-03T15:06:48+00:00

502e5d2526e59c9b5d98fbbaef93b5fbc0c3011d