Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
doc [2019/06/17 10:39] – [Geometric Reasoning] gkazhoya | doc [2019/11/18 13:51] – gkazhoya | ||
---|---|---|---|
Line 24: | Line 24: | ||
* [[doc/ | * [[doc/ | ||
* [[doc/ | * [[doc/ | ||
+ | |||
+ | |||
+ | < | ||
+ | This stuff is super outdated.... | ||
===== Logging infrastructure ===== | ===== Logging infrastructure ===== | ||
Line 32: | Line 36: | ||
* [[doc: | * [[doc: | ||
* [[doc/ | * [[doc/ | ||
+ | --></ | ||
===== Geometric Reasoning ===== | ===== Geometric Reasoning ===== | ||
* [[doc/ | * [[doc/ | ||
- | * [[doc/ | + | * [[doc/ |
===== Theses ===== | ===== Theses ===== |