Updated Coq to version 8.2pl1
[nixpkgs-libre.git] / doc / 
tree4fbe3464ec06fea401334dfa52585f14a99109e8
drwxr-xr-x   ..
-rw-r--r-- 1235 Makefile
-rw-r--r-- 3449 coding-conventions.xml
-rw-r--r-- 915 introduction.xml
-rw-r--r-- 7420 language-support.xml
-rw-r--r-- 962 manual.xml
-rw-r--r-- 7338 meta.xml
-rw-r--r-- 2056 outline.txt
-rw-r--r-- 8257 package-notes.xml
-rw-r--r-- 9763 quick-start.xml
-rw-r--r-- 1332 quote-literals.xsl
-rw-r--r-- 20869 release-notes.xml
-rw-r--r-- 39641 stdenv.xml
-rw-r--r-- 4680 style.css