v 1.3.1

lukaszcz · Apr 3, 2021 · c8a60bf · c8a60bf
1 parent 7f7356c
commit c8a60bf
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
-CoqHammer (dev) for Coq 8.12
+CoqHammer 1.3.1 for Coq 8.12
 
-[![Travis](https://travis-ci.org/lukaszcz/coqhammer.svg?branch=coq8.12)](https://travis-ci.org/lukaszcz/coqhammer/builds)
+[![Travis](https://travis-ci.org/lukaszcz/coqhammer.svg?branch=v1.3.1-coq8.12)](https://travis-ci.org/lukaszcz/coqhammer/builds)
 
 CoqHammer video tutorial:
 [part 1 (sauto)](https://www.youtube.com/watch?v=0c_utk9bVgU&list=PLXXF_svQE_b-9A5p2OKU7Tjz-NcE7H2xg),

diff --git a/src/plugin/g_hammer.mlg b/src/plugin/g_hammer.mlg
@@ -6,7 +6,7 @@ open Ltac_plugin
 open Stdarg
 open Tacarg
 
-let hammer_version_string = "CoqHammer (dev) for Coq 8.12"
+let hammer_version_string = "CoqHammer 1.3.1 for Coq 8.12"
 
 open Feedback
 let () = Mltop.add_known_plugin (fun () ->