colo12-c703.uibk.ac.at Git - Flyspeck/.git/atom - formal_lp/old/ineqs/tests/28820130324_out.hl historyUnnamed repository; edit this file 'description' to name the repository.http://colo12-c703.uibk.ac.at/git/?p=Flyspeck/.gitCezary Kaliszykgit-favicon.pnggit-logo.png2013-08-26T15:43:31ZgitwebUpdate from HH2013-08-26T15:43:31ZCezary Kaliszykcek@colo12-c703.uibk.ac.atCezary Kaliszykcek@colo12-c703.uibk.ac.at2013-08-26T15:43:31Zhttp://colo12-c703.uibk.ac.at/git/?p=Flyspeck/.git;a=commitdiff;h=4959bbf56f639e0c6a19eb9745f45223505135b9