Index of /~chad/jitpro

	Name	Last modified	Size	Description
	Parent Directory		-
	Jitpro.css	2021-11-23 15:16	743
	Jitpro.html	2021-11-23 15:16	868
	LegacyConnector.html	2021-11-23 15:16	397
	ProofTreeView.css	2021-11-23 15:16	295
	ajax.js	2021-11-23 15:16	2.9K
	dbpi.js	2021-11-23 15:16	6.3K
	outtoleo.js	2021-11-23 15:16	9.9K
	proofassist.js	2021-11-23 15:16	14K
	prover2.html	2021-11-24 11:07	838
	prover2.js	2021-11-24 20:34	122K
	proverbody2.html	2021-11-23 15:43	513
	proverfooter.html	2021-11-23 15:36	169
	proverheader2.html	2021-11-24 11:03	864
	sexpr.js	2021-11-23 15:16	7.3K
	sharedcode.js	2021-11-23 15:16	453
	syntax2.js	2021-11-24 20:42	63K
	ui.js	2021-11-23 15:16	6.0K
	xml.js	2021-11-23 15:16	7.8K