4 commits

Author	SHA1	Message	Date
Jérôme Schneider	424053f6a5	Submodules are reattached.	2012-08-20 23:13:04 +02:00
Jérôme Schneider	cd8ed966c0	WIP. Simplifying Core/ structure (no more symlinks)	2012-08-20 23:04:51 +02:00
Jérôme Schneider	1333353921	Formal is now a git submodule, pointing to https://github.com/jeromeschneider/Formal.git	2012-08-08 09:52:06 +02:00
Jérôme Schneider	3984b17c84	Flake is now handled as a git submodule, pointing to https://github.com/jeromeschneider/Flake.git	2012-08-07 17:42:22 +02:00