Merge pull request #118 from SkySkimmer/elpi-backtrack

SkySkimmer · web-flow · commit 8b4291573cc1 · 2023-05-17T12:51:03.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -3,6 +3,7 @@
 *.cmo
 *.cma
 *.cmi
+*.cmt
 *.a
 *.o
 *.cmx
diff --git a/searchdepend.mlg b/searchdepend.mlg
@@ -8,6 +8,8 @@
 (*        (see the enclosed LICENSE file for mode details)                    *)
 (*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*)
 
+DECLARE PLUGIN "coq-dpdgraph.plugin"
+
 {
 
 open Pp

-Original file line number
+Diff line change
 *.cmo
 *.cma
 *.cmi
 +*.cmt
 *.a
 *.o
 *.cmx
Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,8 @@`
`8`	`8`	`(* (see the enclosed LICENSE file for mode details) *)`
`9`	`9`	`(~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~)`
`10`	`10`
	`11`	`+DECLARE PLUGIN "coq-dpdgraph.plugin"`
	`12`	`+`
`11`	`13`	`{`
`12`	`14`
`13`	`15`	`open Pp`