From 0c1af31e9d338a13b7df2b4468b81e76ef182d32 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 25 Jun 2020 23:35:20 +0200
Subject: Add a type of format strings to Ltac2.

It provides an abstract type of well-typed format strings, a scope to parse
them and a minimal printf-like API.
---
 doc/stdlib/index-list.html.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index cbe526be68..1bc0c1f6d7 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -691,6 +691,7 @@ through the <tt>Require Import</tt> command.</p>
     user-contrib/Ltac2/Notations.v
     user-contrib/Ltac2/Option.v
     user-contrib/Ltac2/Pattern.v
+    user-contrib/Ltac2/Printf.v
     user-contrib/Ltac2/Std.v
     user-contrib/Ltac2/String.v
   </dd>
-- 
cgit v1.2.3