doc: add DOIs to some more bibtex entries
[isl.git] / doc / 
tree83fdff6f17cb2979c5db4bd327c5e3a8590992be
drwxr-xr-x   ..
-rw-r--r-- 2027 CodingStyle
-rw-r--r-- 701 Makefile.am
-rw-r--r-- 2172 SubmittingPatches
-rw-r--r-- 80460 implementation.tex
-rw-r--r-- 10655 isl.bib
-rw-r--r-- 2490 manual.tex
-rwxr-xr-x 207 mypod2latex
-rw-r--r-- 382665 user.pod