Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
date for v2.0
  • Loading branch information
olaure01 committed Jan 23, 2019
1 parent 51df5e9 commit 06b0a45
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions RELEASE_NOTES.md
@@ -1,6 +1,6 @@
# YALLA: an LL library for Coq

## v 2.0 (2019/01/??)
## v 2.0 (2019/01/23)

This major revision is based on a representation of proofs in `Type` rather than `Prop`.
For this reason it is *not compatible with version 1.0*.
Expand All @@ -17,5 +17,5 @@ Tested with Coq v 8.8.2.

## v 1.0 (2017/07/18)

First public release
First public release.

0 comments on commit 06b0a45

Please sign in to comment.