Up to [local] / OpenXM / src / kan96xx / Doc
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: RELEASE_1_3_1_13b
Revision 1.17 / (download) - annotate - [select for diffs], Fri Oct 11 01:08:35 2013 UTC (10 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: RELEASE_1_3_1_13b
Changes since 1.16: +19 -5
lines
Diff to previous 1.16 (colored)
usePolymake.OoHG.curl is default in gfan.sm1