Index of /~buzzard/xena/alectryon

	Name	Last modified	Size	Description
	Parent Directory		-
	output.zip	2021-07-22 14:18	81K
	literate.v.html	2021-07-22 14:18	46K
	coqdoc.v.html	2021-07-22 14:18	45K
	coqdoc.html	2021-07-22 14:18	45K
	lean3-tutorial.html	2021-07-22 14:18	44K
	document.html	2021-07-22 14:18	41K
	literate.tex	2021-07-22 14:18	41K
	document.tex	2021-07-22 14:18	41K
	literate.html	2021-07-22 14:18	41K
	plain.v.html	2021-07-22 14:18	34K
	minification.html	2021-07-22 14:18	22K
	alectryon.css	2021-07-22 14:18	20K
	plain.lean.html	2021-07-22 14:18	19K
	document.minimal.html	2021-07-22 14:18	19K
	mathjax.html	2021-07-22 14:18	15K
	docutils_basic.css	2021-07-22 14:18	10K
	hyps.html	2021-07-22 14:18	8.1K
	hyps.tex	2021-07-22 14:18	6.5K
	alectryon.js	2021-07-22 14:18	6.4K
	tango_subtle.css	2021-07-22 14:18	4.7K
	custom_highlighting.html	2021-07-22 14:18	4.5K
	literate.v.rst	2021-07-22 14:18	2.6K
	document.v	2021-07-22 14:18	2.6K
	tango_subtle.min.css	2021-07-22 14:18	2.6K
	coqdoc.v.cache.xz	2021-07-22 14:18	2.2K
	api.out	2021-07-22 14:18	2.1K
	fragments.snippets.html	2021-07-22 14:18	1.9K
	minification.rst.cache.xz	2021-07-22 14:18	1.6K
	fragments.io.json	2021-07-22 14:18	1.4K
	fragments.snippets.tex	2021-07-22 14:18	1.4K