Name	Last modified	Size
	Parent Directory		-
	CVS/	2022-08-25 17:17	-
	patch-bbl_lexer.mll	2019-12-31 19:46	1.2K
	patch-bib2bib.ml	2019-12-31 19:46	8.5K
	patch-bibfilter.ml	2019-12-31 19:46	2.0K
	patch-biboutput.ml	2019-12-31 19:46	2.2K
	patch-bibtex.ml	2019-12-31 19:46	6.2K
	patch-bibtex__lexer.mll	2019-12-31 19:46	2.4K
	patch-bibtex_parser.mly	2019-12-31 19:46	2.1K
	patch-condition.ml	2019-12-31 19:46	2.2K
	patch-condition_parser.mly	2019-12-31 19:46	1.7K
	patch-expand.ml	2019-12-31 19:46	549
	patch-latexmacros.ml	2019-12-31 19:46	721
	patch-main.ml	2019-12-31 19:46	517
	patch-readbib.ml	2019-12-31 19:46	1.1K
	patch-translate.ml	2019-12-31 19:46	3.1K