EB:VP

From Event-B
Revision as of 10:36, 3 July 2008 by imported>Mathieu (New section: Previous latex documentation being imported)

Redirect page
Jump to navigationJump to search

Previous latex documentation being imported

Hello, I'm in the process of importing existing latex documentation into this wiki.

While doing so, those documents may not render well (images not uploaded, math formulas not displayed, ...). I'll announce here when I'm finished with the process of tweaking my import process and the resulting pages. Thank you for your patience. Mathieu 11:36, 3 July 2008 (BST)