From 1b9714742e3543b5d8570d19662248e99e2be880 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Mon, 30 Dec 2024 11:17:40 +0100 Subject: [PATCH 1/2] prepare version boilerplate for 0.34 release --- revision_history.txt | 2 ++ src/Makefile | 2 +- src/tmp_date.txt | 2 +- src/version.ml | 4 ++-- 4 files changed, 6 insertions(+), 4 deletions(-) diff --git a/revision_history.txt b/revision_history.txt index 635de14..9223f06 100644 --- 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 index 16b87c7..4d1195b 100644 --- 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 index f2cec30..7c8f586 100644 --- 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 index c46db05..93d25e5 100644 --- 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" From 0d62c0ff048a4dabc2b0c2df7a12827cf32c2607 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Mon, 30 Dec 2024 11:18:44 +0100 Subject: [PATCH 2/2] rebuild documentation for 0.34 --- built_doc/top2.html | 447 +++++++++++++++++++++--------------------- built_doc/top2.pdf | Bin 540515 -> 542711 bytes built_doc/top2.ps | Bin 3014964 -> 3014872 bytes built_doc/top2001.png | Bin 7584 -> 5024 bytes built_doc/top2002.png | Bin 3361 -> 796 bytes built_doc/top2003.png | Bin 3328 -> 753 bytes built_doc/top2004.png | Bin 3050 -> 482 bytes built_doc/top2005.png | Bin 4762 -> 2185 bytes built_doc/top2006.png | Bin 3861 -> 1290 bytes built_doc/top2007.png | Bin 23423 -> 20905 bytes built_doc/top2008.png | Bin 3474 -> 904 bytes built_doc/top2009.png | Bin 3300 -> 725 bytes built_doc/top2010.png | Bin 2960 -> 391 bytes built_doc/top2011.png | Bin 2909 -> 340 bytes built_doc/top2012.png | Bin 3663 -> 1094 bytes built_doc/top2013.png | Bin 3169 -> 600 bytes built_doc/top2014.png | Bin 2921 -> 352 bytes built_doc/top2015.png | Bin 2921 -> 353 bytes built_doc/top2016.png | Bin 5553 -> 2975 bytes built_doc/top2017.png | Bin 2921 -> 352 bytes built_doc/top2018.png | Bin 2951 -> 382 bytes built_doc/top2019.png | Bin 12467 -> 9794 bytes built_doc/top2020.png | Bin 3750 -> 1185 bytes built_doc/top2021.png | Bin 3015 -> 444 bytes built_doc/top2022.png | Bin 3045 -> 477 bytes built_doc/top2023.png | Bin 8565 -> 5983 bytes built_doc/top2024.png | Bin 6834 -> 4246 bytes built_doc/top2025.png | Bin 4121 -> 1543 bytes built_doc/top2026.png | Bin 3765 -> 1202 bytes built_doc/top2027.png | Bin 4699 -> 2133 bytes built_doc/top2028.png | Bin 5025 -> 2447 bytes built_doc/top2029.png | Bin 6486 -> 3922 bytes built_doc/top2030.png | Bin 5515 -> 2957 bytes built_doc/top2031.png | Bin 3146 -> 575 bytes built_doc/top2032.png | Bin 2924 -> 355 bytes built_doc/top2033.png | Bin 2944 -> 374 bytes built_doc/top2034.png | Bin 4210 -> 1637 bytes built_doc/top2035.png | Bin 4619 -> 2049 bytes built_doc/top2036.png | Bin 3766 -> 1207 bytes built_doc/top2037.png | Bin 5704 -> 3116 bytes 40 files changed, 222 insertions(+), 225 deletions(-) diff --git a/built_doc/top2.html b/built_doc/top2.html index ec04ffe..b47fd2b 100644 --- a/built_doc/top2.html +++ b/built_doc/top2.html @@ -2,7 +2,7 @@ - +