update

4 months ago · 51980eae87
parent 4a08137273
commit 51980eae87
11 changed files with 7592 additions and 0 deletions
--- a/projects/ancestor
+++ b/projects/ancestor
--- a/dream-12.mmpz.bak
+++ b/dream-12.mmpz.bak
--- a/projects/uetdeu-07.mmpz
+++ b/projects/uetdeu-07.mmpz
--- a/projects/uetdeu-07.mmpz.bak
+++ b/projects/uetdeu-07.mmpz.bak
--- a/projects/uetdeu-10.mmpz
+++ b/projects/uetdeu-10.mmpz
--- a/projects/uetdeu-10.mmpz.bak
+++ b/projects/uetdeu-10.mmpz.bak
--- a/projects/uetdeu-11.mmpz
+++ b/projects/uetdeu-11.mmpz
--- a/projects/uetdeu-11.mmpz.bak
+++ b/projects/uetdeu-11.mmpz.bak
--- a/projects/uetdeu-12.mmpz
+++ b/projects/uetdeu-12.mmpz
--- a/projects/uetdeu-12.mmpz.bak
+++ b/projects/uetdeu-12.mmpz.bak
--- a/recover.mmp
+++ b/recover.mmp