projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 701bad3) | patch
Both definitions of C systems; the second one implies the first one
authorRafaël Bocquet <rafael.bocquet@ens.fr>
Tue, 10 May 2016 10:06:41 +0000 (12:06 +0200)
committerRafaël Bocquet <rafael.bocquet@ens.fr>
Tue, 10 May 2016 10:06:41 +0000 (12:06 +0200)
commitf4fbd687fe7d43f19b28f1709c61d03df7872373
tree2c7fa14fc4877c0e78713e499e55fe83699461b4tree | snapshot
parent701bad372eeb5bd6b836e69759df360ce66cc40ccommit | diff
Both definitions of C systems; the second one implies the first one
examples/csystem.ctt [changed mode: 0644->0755] diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.