From 5bfd5dd55dc9500a799f9abe7460e14d75455f4e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 20 Sep 2021 09:58:17 +0100 Subject: Update the docs --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs b/docs index 3b2ce14..5508c21 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 3b2ce146bc6e651df8ac9910d08da05d88c06fb6 +Subproject commit 5508c21e064276aa4d5146b3af5b6f6e9a4c2364 -- cgit From 02ca043e9c2d2aec31aec5a323535924a4414696 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 27 Sep 2021 18:14:33 +0100 Subject: Add dependencies for Alectryon documentation Update README on the status of Vericert --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs b/docs index 5508c21..42e19f2 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 5508c21e064276aa4d5146b3af5b6f6e9a4c2364 +Subproject commit 42e19f2b20c907505a28486a8071147ed6c610fb -- cgit From f06e5fc0ee651c3ffe357c3c3302ca1517381b4c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 9 Oct 2021 14:30:03 +0100 Subject: Fix warnings for Coq 8.13.2 --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs b/docs index 42e19f2..f852380 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 42e19f2b20c907505a28486a8071147ed6c610fb +Subproject commit f85238030a96a082f19446a7998da97123ce7026 -- cgit From c5afefdfb2c847288463ab85d8348a65aa747637 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 13 Oct 2021 08:58:22 +0100 Subject: [sched] Add more proof to sem_pred_det --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs b/docs index f852380..20ed00b 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit f85238030a96a082f19446a7998da97123ce7026 +Subproject commit 20ed00b92c1a5bf2806a27e9c85d90c6d265e5b2 -- cgit