vericert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update docs	Yann Herklotz	2021-09-29	1	-0/+0
\|
*	Update the docs	Yann Herklotz	2021-09-20	1	-0/+0
\|
*	Update docs	Yann Herklotz	2021-09-16	1	-0/+0
\|
*	Fix Makefiles slightly	Yann Herklotz	2021-07-10	1	-0/+0
\|
*	Add match_states for RTLPargen proof	Yann Herklotz	2021-01-22	1	-0/+0
\|
*	Update documentation	Yann Herklotz	2021-01-22	1	-0/+0
\|
*	Update documentation	Yann Herklotz	2021-01-22	1	-0/+0
\|
*	Add documentation repository as submodule	Yann Herklotz	2021-01-22	1	-0/+0
\|
*	Delete documents folder and move to separate repository	Yann Herklotz	2021-01-20	123	-529786/+0
\|
*	Fix links on main page	Yann Herklotz	2021-01-15	1	-1/+1
\|
*	More tweaks to the CSS	Yann Herklotz	2021-01-15	3	-5/+5
\|
*	Increase font size	Yann Herklotz	2021-01-15	1	-9/+9
\|
*	Actually update css	Yann Herklotz	2021-01-15	1	-94/+174
\|
*	Fix website build by adding correct path	Yann Herklotz	2021-01-15	1	-1/+1
\|
*	Update website	Yann Herklotz	2021-01-15	4	-6/+6
\|
*	Fix inconsistencies in website	Yann Herklotz	2021-01-15	2	-7/+4
\|
*	Update website css	Yann Herklotz	2020-11-28	2	-8/+16
\|
*	Add proof documentation	Yann Herklotz	2020-11-26	33	-0/+527964
\|
*	Add more documentation	Yann Herklotz	2020-11-25	4	-8/+45
\|
*	Update css file	Yann Herklotz	2020-11-25	1	-6/+6
\|
*	Copy all fonts	Yann Herklotz	2020-11-25	1	-1/+2
\|
*	Add fonts to css	Yann Herklotz	2020-11-25	83	-0/+218
\|
*	Fix documentation for docs website	Yann Herklotz	2020-11-25	7	-985/+695
\|
*	Fix links in gh-pages sitev1.0.1	Yann Herklotz	2020-08-14	1	-2/+2
\|
*	Update documentation with links	Yann Herklotz	2020-08-14	2	-66/+71
\|
*	Update workflow	Yann Herklotz	2020-08-14	1	-0/+606
\|
*	Add content to documentation	Yann Herklotz	2020-08-11	1	-0/+79
\|
*	Fix yaml and generation	Yann Herklotz	2020-08-11	1	-0/+1
\|
*	Update website build	Yann Herklotz	2020-08-11	5	-1/+1080
\|
*	Add gh-pages	Yann Herklotz	2020-08-10	1	-0/+1