added some lines in ex1.ctt
authorcoquand <coquand@chalmers.se>
Tue, 14 Apr 2015 11:30:18 +0000 (13:30 +0200)
committercoquand <coquand@chalmers.se>
Tue, 14 Apr 2015 11:30:18 +0000 (13:30 +0200)
commit0b5267c778fbd966c0de769b92c9ef2dd744ec80
tree25e81cd26da8cb591fc1f39360c04ec8767158d2
parentacad8db9cd2a5f2d3a3b3c084ad845d8bf932616
added some lines in ex1.ctt
examples/ex1.ctt