Skip to content

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also .

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also .
  • 2 commits
  • 1 file changed
  • 0 commit comments
  • 1 contributor
Showing with 1 addition and 1 deletion.
  1. +1 −1 README
View
2 README
@@ -1,6 +1,6 @@
Compilation
- Known to compile with Coq trunk 14688.
+ Known to compile with Coq trunk 14722.
Warning: This development assumes a case sensitive file system.

No commit comments for this range

Something went wrong with that request. Please try again.