matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 29 Jun 2015 20:29:12 +0000 (20:29 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 29 Jun 2015 20:29:12 +0000 (20:29 +0000)
commit	b37863d4598516a06241f18ad0db963399015bf2
tree	051a1cac23bbfe8b39cf149634f41597d7e79a46	tree \| snapshot
parent	a0c8e5f59273c09542a1b8184dd1577d8f4240d7	commit \| diff

we are optimizing the code by conditional compilation.
three tags introduced so far: EXPAND, PREPROCESS, MANAGER

12 files changed:

Unnamed repository; edit this file 'description' to name the repository.