Isabelle-HoTT/.gitignore, branch master trying to make Isabelle/HoTT work with Isabelle 2021-1 https://stuebinm.eu/git/Isabelle-HoTT/atom/.gitignore?h=master 2020-07-23T11:00:04Z minor 2020-07-23T11:00:04Z Josh Chen 2020-07-23T11:00:04Z urn:sha1:f20d91f75d39eda19d8e8e2f8c0476b11aeab7d2 reorganize 2020-06-19T10:41:54Z Josh Chen 2020-06-19T10:41:54Z urn:sha1:4f147cba894baa9e372e2b67211140b1a6f7b16c Brand-spanking new version using Spartan infrastructure 2020-04-02T15:57:48Z Josh Chen 2020-04-02T15:57:48Z urn:sha1:c2dfffffb7586662c67e44a2d255a1a97ab0398b .gitignore 2018-08-18T21:43:10Z Josh Chen 2018-08-18T21:43:10Z urn:sha1:7fe4e90dceb8c77c2ec8678ce7316240e34700cc .gitignore 2018-08-18T12:58:17Z Josh Chen 2018-08-18T12:58:17Z urn:sha1:b0c85e7a4590e37d2b59d80106b993c3746445f0 Ignore more files 2018-08-18T12:31:40Z Josh Chen 2018-08-18T12:31:40Z urn:sha1:25c9fda31bb49a0f825f4010fe3d26f6749fc34a Init 2018-05-03T15:06:48Z Josh Chen 2018-05-03T15:06:48Z urn:sha1:502e5d2526e59c9b5d98fbbaef93b5fbc0c3011d