prepare release 0.26; synchronise coq-ott.opam with opam

coq-ott.opam

@@ -1,8 +1,8 @@
 opam-version: "1.2"
-version: "dev"
 maintainer: "[email protected]"
+authors: [ "Peter Sewell" "Francesco Zappa Nardelli" "Scott Owens" ]
 
-homepage: "https://github.com/ott-lang/ott"
+homepage: "http://www.cl.cam.ac.uk/~pes20/ott/"
 dev-repo: "https://github.com/ott-lang/ott.git"
 bug-reports: "https://github.com/ott-lang/ott/issues"
 license: "part BSD3, part LGPL 2.1"
@@ -16,8 +16,3 @@ tags: [
   "category:Computer Science/Semantics and Compilation/Semantics"
   "keyword:abstract syntax"
 ]
-authors: [ 
-  "Peter Sewell <>"
-  "Francesco Zappa Nardelli <>"
-  "Scott Owens <>"
-]

revision_history.txt

@@ -458,3 +458,7 @@ tests/menhir_tests/test10menhir
 2017-07-17 fixes for OCaml safe string, contributed by jpdeplaix
 
 2017-09-07 example of "literate" ott spec, in tests/test10literate
+
+2017-09-21 use Type instead of Set in Coq list functions, contributed by palmskog
+
+2017-09-21 Version 0.26

src/Makefile

@@ -33,7 +33,7 @@
 
 topdir = ..
 
-OTTVER=0.25
+OTTVER=0.26
 
 # for us
 OCAMLC	 	= ocamlc.opt -g -dtypes  # -w p disables partial match warnings

src/tmp_date.txt

@@ -1 +1 @@
-Thu Nov 24 15:34:20 GMT 2016
+Thu Sep 21 18:00:00 UTC 2017

src/version.ml

@@ -1,2 +1,2 @@
-let n="0.25"
-let d="Thu Nov 24 15:34:20 GMT 2016"
+let n="0.26"
+let d="Thu Sep 21 18:00:00 UTC 2017"