Merge pull request #122 from ott-lang/prepare-0.34

Prepare for 0.34 release
ott-lang · Dec 30, 2024 · fc38245 · fc38245
2 parents 8ce440c + 0d62c0f
commit fc38245
Show file tree

Hide file tree

Showing 44 changed files with 228 additions and 229 deletions.
diff --git a/built_doc/top2.html b/built_doc/top2.html
diff --git a/built_doc/top2.pdf b/built_doc/top2.pdf
diff --git a/built_doc/top2.ps b/built_doc/top2.ps
diff --git a/built_doc/top2001.png b/built_doc/top2001.png
diff --git a/built_doc/top2002.png b/built_doc/top2002.png
diff --git a/built_doc/top2003.png b/built_doc/top2003.png
diff --git a/built_doc/top2004.png b/built_doc/top2004.png
diff --git a/built_doc/top2005.png b/built_doc/top2005.png
diff --git a/built_doc/top2006.png b/built_doc/top2006.png
diff --git a/built_doc/top2007.png b/built_doc/top2007.png
diff --git a/built_doc/top2008.png b/built_doc/top2008.png
diff --git a/built_doc/top2009.png b/built_doc/top2009.png
diff --git a/built_doc/top2010.png b/built_doc/top2010.png
diff --git a/built_doc/top2011.png b/built_doc/top2011.png
diff --git a/built_doc/top2012.png b/built_doc/top2012.png
diff --git a/built_doc/top2013.png b/built_doc/top2013.png
diff --git a/built_doc/top2014.png b/built_doc/top2014.png
diff --git a/built_doc/top2015.png b/built_doc/top2015.png
diff --git a/built_doc/top2016.png b/built_doc/top2016.png
diff --git a/built_doc/top2017.png b/built_doc/top2017.png
diff --git a/built_doc/top2018.png b/built_doc/top2018.png
diff --git a/built_doc/top2019.png b/built_doc/top2019.png
diff --git a/built_doc/top2020.png b/built_doc/top2020.png
diff --git a/built_doc/top2021.png b/built_doc/top2021.png
diff --git a/built_doc/top2022.png b/built_doc/top2022.png
diff --git a/built_doc/top2023.png b/built_doc/top2023.png
diff --git a/built_doc/top2024.png b/built_doc/top2024.png
diff --git a/built_doc/top2025.png b/built_doc/top2025.png
diff --git a/built_doc/top2026.png b/built_doc/top2026.png
diff --git a/built_doc/top2027.png b/built_doc/top2027.png
diff --git a/built_doc/top2028.png b/built_doc/top2028.png
diff --git a/built_doc/top2029.png b/built_doc/top2029.png
diff --git a/built_doc/top2030.png b/built_doc/top2030.png
diff --git a/built_doc/top2031.png b/built_doc/top2031.png
diff --git a/built_doc/top2032.png b/built_doc/top2032.png
diff --git a/built_doc/top2033.png b/built_doc/top2033.png
diff --git a/built_doc/top2034.png b/built_doc/top2034.png
diff --git a/built_doc/top2035.png b/built_doc/top2035.png
diff --git a/built_doc/top2036.png b/built_doc/top2036.png
diff --git a/built_doc/top2037.png b/built_doc/top2037.png
diff --git a/revision_history.txt b/revision_history.txt
@@ -579,3 +579,5 @@ Peter Sewell + Thibaut Pérami: Add "menhir-start-type" hom to specify the top l
 2024-12 @palmskog: add coq-notation hom to allow using Coq Notation sentences instead of Definition
 
 2024-12 @palmskog: only output plain comments in generated Coq code
+
+2024-12-30 Version 0.34
diff --git a/src/Makefile b/src/Makefile
@@ -33,7 +33,7 @@
 
 topdir = ..
 
-OTTVER=0.33
+OTTVER=0.34
 
 OCAMLFIND=ocamlfind
 OCAMLARGS=-package str -package ocamlgraph -linkpkg

diff --git a/src/tmp_date.txt b/src/tmp_date.txt
@@ -1 +1 @@
-Mon 16 Jan 15:32:01 GMT 2023
+Mon Dec 30 10:12:45 GMT 2024
diff --git a/src/version.ml b/src/version.ml
@@ -1,2 +1,2 @@
-let n="0.33"
-let d="Mon 16 Jan 15:32:01 GMT 2023"
+let n="0.34"
+let d="Mon Dec 30 10:12:45 GMT 2024"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -579,3 +579,5 @@ Peter Sewell + Thibaut Pérami: Add "menhir-start-type" hom to specify the top l
		2024-12 @palmskog: add coq-notation hom to allow using Coq Notation sentences instead of Definition

		2024-12 @palmskog: only output plain comments in generated Coq code

		2024-12-30 Version 0.34
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		Mon 16 Jan 15:32:01 GMT 2023
		Mon Dec 30 10:12:45 GMT 2024