100644 blob 21f2e56a5712845005534dc1ddf5ace0780e70b6	CodingStyle
100644 blob 5a59a12956e97d4ac4179a456e16b9d69c80845d	SubmittingPatches
100644 blob 698adb929bef5e58dacbd5023f53f57556e8505f	implementation.tex
100644 blob 8132b3fc0195d4ad221e0d953197ae926d9f4a73	interface
100644 blob 42074b2b7e22d6251db0584f6c38d89fc5f55732	isl.bib
100644 blob 3116241490f7560b3d8c5af976db668252a6973c	manual.tex
100755 blob b11c0593d01544b000bb999775c1af0a33609f90	mypod2latex
100644 blob 6498000fffde80a0dcd2d104a27cbba1d39f7754	reading.tex
100644 blob 1e8d6a92feccf2568fed8211a73913b61731637b	user.pod