Project

General

Profile

Activity

From 01/18/2015 to 02/16/2015

02/16/2015

11:52 PM Revision e42fb618 (lustrec): Solved bug found by Teme about asserts.
Previously assert expression containing -> would lead to unnormalized ite. Now each expression within the assert is n... Pierre-Loïc Garoche
11:52 PM Revision f2b1c245 (lustrec): Solved bug found by Teme about asserts.
Previously assert expression containing -> would lead to unnormalized ite. Now each expression within the assert is n... Pierre-Loïc Garoche
 

Also available in: Atom