All public logs
From CVC4
Combined display of all available logs of CVC4. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 08:35, 28 November 2012 Lianah (Talk | contribs) moved page The History of CVC4 to About CVC4
- 10:16, 15 April 2011 Lianah (Talk | contribs) uploaded File:Mtg20110415b.png
- 10:16, 15 April 2011 Lianah (Talk | contribs) uploaded File:Mtg20110415a.png
- 10:15, 15 April 2011 Lianah (Talk | contribs) uploaded File:Mtg20110415.notebook
- 05:32, 1 April 2011 Lianah (Talk | contribs) uploaded a new version of File:TheoryInterface.jpg (added the fact that lemmas get rewritten and preregistered)
- 15:11, 31 March 2011 Lianah (Talk | contribs) uploaded a new version of File:TheoryInterface.jpg (CVC4 architecture diagram)
- 15:09, 31 March 2011 Lianah (Talk | contribs) uploaded File:TheoryInterface.jpg (CVC4 architecture)
