Fedor Isakov fc1c5b8021 Drop project libraries, switch to using the plugin for loading CR modules.		2021-02-13 10:25:24 +01:00
..
.name	Initial import	2018-07-18 15:54:50 +02:00
encodings.xml	Initial import	2018-07-18 15:54:50 +02:00
migration.xml	Apply automatic migrations to FitchProof subproject	2019-01-13 14:27:32 +01:00
misc.xml	Initial import	2018-07-18 15:54:50 +02:00
modules.xml	Name solutions and models consistently in samples (fitch)	2018-07-22 14:48:12 +02:00
vcs.xml	Add fitch sample to the common build.	2018-07-18 15:54:52 +02:00
version.xml	Initial import	2018-07-18 15:54:50 +02:00