Up to [local] / OpenXM / src / asir-contrib / testing / noro
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: HEAD
Revision 1.8 / (download) - annotate - [select for diffs], Tue Feb 11 01:43:56 2020 UTC (4 years, 7 months ago) by noro
Branch: MAIN
CVS Tags: HEAD
Changes since 1.7: +16 -2
lines
Diff to previous 1.7 (unified)
Added an option lex to newsyz.lres().