yentl/modelverse @ ce12d2f5e9febec6a9eb96b03a0d100e585357e5

Yentl Van Tendeloo 00b48a6948 Fixes to make everything work		8 年之前
..
core_algorithm.alc	00b48a6948 Fixes to make everything work	8 年之前
core_formalism.mvc	c3fd91f447 Removed debugging code	8 年之前
mini_modify.alc	6fe7b7aca6 Fixed manual transformations	8 年之前
mini_modify.alh	c2b8f8ab4d Even more (untested) code for the core algorithm	8 年之前
pm.mvc	7636820ea9 Add draft of PM enactment	8 年之前