Skip to content
Success

Changes

Summary

  1. missed proofreading in conclusion (details)
  2. Update on thesis (details)
  3. small changes (details)
  4. small changes (details)
  5. change the superset row as we now conclude adt form a superset (details)
  6. Small updates (details)
Commit 17fdf6f6ed88bf5f9f491b7bf6839322f151fd58 by Peter Buhr
missed proofreading in conclusion
The file was modifieddoc/theses/jiada_liang_MMath/conclusion.tex
Commit 0c88135436a98a40adac7da1a1d42fbb6e2f6fb7 by j82liang
Update on thesis
The file was modifieddoc/theses/jiada_liang_MMath/CFAenum.tex
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 68a70284d743a2f3fbb728e113a817edb336f56d by Peter Buhr
small changes
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/theses/jiada_liang_MMath/CFAenum.tex
The file was modifieddoc/theses/jiada_liang_MMath/test.ml
Commit 4fa7096a6630341ea59b2e9ed0517f70d32cb840 by Peter Buhr
small changes
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 175a750ee58bd5b20d6b22913979e43b42ecad4c by j82liang
change the superset row as we now conclude adt form a superset
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
Commit 0bda8d707434c296565beb1edaff2d377450550c by j82liang
Small updates
The file was modifieddoc/theses/jiada_liang_MMath/trait.tex
The file was modifieddoc/theses/jiada_liang_MMath/relatedwork.tex
The file was modifieddoc/theses/jiada_liang_MMath/CFAenum.tex
The file was modifieddoc/theses/jiada_liang_MMath/Cenum.tex