Matthew Flatt 37c398ffbf propagate prefix repair to to scribble/jfp' and scribble/lncs' ... original commit: d841ec1bd0aac12c7d977f4be419f8c2728a6d17		2012-08-31 07:33:08 -06:00
..
help	Revise commented code so it can replace exiting code without dependency issues.	2012-01-26 13:20:26 -05:00
scribble	propagate prefix repair to to scribble/jfp' and scribble/lncs'	2012-08-31 07:33:08 -06:00
scribblings/scribble	propagate prefix repair to to scribble/jfp' and scribble/lncs'	2012-08-31 07:33:08 -06:00
scriblib	adjust 'authors' from scriblib/autobib so that it	2012-08-14 21:34:09 -05:00
tests	scribble/manual: add #:normalize?' option to deftech' et al.	2012-08-20 17:37:24 -06:00