git.xn--bdkaa.com Git - cubicaltt-web.git/commit

]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit

projects / cubicaltt-web.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 9125aca) | patch

author	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 16:23:39 +0000 (18:23 +0200)
committer	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 16:23:39 +0000 (18:23 +0200)
commit	4df26701dfe05d5eba09655812e79036662190e3
tree	cf600ed8149292788af24ef3843f42d8ff792984	tree \| snapshot
parent	9125aca569f121bfc73d83012ed1ec6c79367fda	commit \| diff

Cleaning and reorganization of files

13 files changed:

examples/add.ctt	[deleted file]	blob \| history
examples/bool.ctt		diff \| blob \| history
examples/equiv.ctt		diff \| blob \| history
examples/gradLemma.ctt		diff \| blob \| history
examples/hedberg.ctt		diff \| blob \| history
examples/int.ctt		diff \| blob \| history
examples/interval.ctt		diff \| blob \| history
examples/nat.ctt		diff \| blob \| history
examples/newhedberg.ctt	[deleted file]	blob \| history
examples/prelude.ctt		diff \| blob \| history
examples/retract.ctt		diff \| blob \| history
examples/univ.ctt	[deleted file]	blob \| history
examples/univalence.ctt		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.