date

mebsout · mebsout · commit 6d4209fec5db · 2017-11-30T12:01:15.000+01:00
diff --git a/CHANGES b/CHANGES
@@ -1,4 +1,4 @@
-0.13  2017-11-20
+0.13  2017-11-30
     NEW FEATURES
     * match%nat construct for int -> nat coercion
     * abs is now int -> int

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-0.13 2017-11-20`
	`1`	`+0.13 2017-11-30`
`2`	`2`	`NEW FEATURES`
`3`	`3`	`* match%nat construct for int -> nat coercion`
`4`	`4`	`* abs is now int -> int`