Port to Coq 8.8

snu-sf · Apr 18, 2018 · 3391119 · 3391119
1 parent 5806c1a
commit 3391119
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -2,6 +2,7 @@ _CoqProject
 Makefile.coq
 Makefile.coq.conf
 .build
+.coqdeps.d
 
 *.vo
 *.vio

diff --git a/lib/paco b/lib/paco
-Original file line number
+Diff line change
@@ Expand Up / @@ -2,6 +2,7 @@ _CoqProject @@
     Makefile.coq
     Makefile.coq.conf
     .build
+    .coqdeps.d
     *.vo
     *.vio
@@ Expand Down @@
+3 −0		.gitignore
+7 −1		README
+0 −329		doc/coqdoc.css
+0 −92		doc/index.html
+0 −45		doc/paco.html
+0 −402		doc/paco0.html
+0 −405		doc/paco1.html
+0 −432		doc/paco10.html
+0 −435		doc/paco11.html
+0 −438		doc/paco12.html
+0 −441		doc/paco13.html
+0 −444		doc/paco14.html
+0 −447		doc/paco15.html
+0 −408		doc/paco2.html
+0 −411		doc/paco3.html
+0 −414		doc/paco4.html
+0 −417		doc/paco5.html
+0 −420		doc/paco6.html
+0 −423		doc/paco7.html
+0 −426		doc/paco8.html
+0 −429		doc/paco9.html
+0 −1,782		doc/pacodef.html
+0 −374		doc/paconotation.html
+0 −1,451		doc/pacotac.html
+0 −332		doc/pacotacuser.html
+0 −1,093		doc/tutorial.html
+0 −45		metasrc/CHANGES
+0 −24		metasrc/LICENSE
+0 −244		metasrc/Makefile
+0 −23		metasrc/Makefile.src
+0 −11		metasrc/README
+15 −0		metasrc/build-add.sh
+0 −7		metasrc/build-all.sh
+0 −14		metasrc/build-distr.sh
+0 −15		metasrc/build-paco.sh
+16 −0		metasrc/build.sh
+0 −5		metasrc/cleanup.sh
+0 −111		metasrc/hpattern.v
+0 −55		metasrc/main.css
+39 −1		metasrc/paco.py
+0 −52		metasrc/pacodef.py
+10 −0		metasrc/pacotac.py
+2 −26		metasrc/pacotacuser.py
+0 −746		metasrc/tutorial.v
+10 −3		src/Makefile
+312 −0		src/examples.v
+8 −6		src/index.html
+0 −0		src/main.css
+87 −1		src/paco0.v
+90 −1		src/paco1.v
+117 −1		src/paco10.v
+120 −1		src/paco11.v
+123 −1		src/paco12.v
+126 −1		src/paco13.v
+129 −1		src/paco14.v
+132 −1		src/paco15.v
+93 −1		src/paco2.v
+96 −1		src/paco3.v
+99 −1		src/paco4.v
+102 −1		src/paco5.v
+105 −1		src/paco6.v
+108 −1		src/paco7.v
+111 −1		src/paco8.v
+114 −1		src/paco9.v
+0 −1,649		src/pacodef.v
+1 −0		src/paconotation.v
+10 −0		src/pacotac.v
+3 −78		src/pacotacuser.v