Changed KR repo

Francisco Coelho
1 parent 2ae1458f
Showing 3 changed files with 4 additions and 2 deletions Show diff stats
.gitmodules
code/asp/dneg.lp
text/kr24
@@ -8,4 +8,4 @@
 [submodule "text/kr24"]
 	path = text/kr24
-	url = https://git.overleaf.com/65f422781f1d04e2c0aefd56
 \ No newline at end of file
+	url = git@git.xdi.uevora.pt:spa/zw-kr24.git
 \ No newline at end of file
@@ -0,0 +1,2 @@
+a(X); -a(X) :- X = 1.
+c(X) :- -a(X).
 \ No newline at end of file
-Subproject commit f00aad856e453c4f9059046a34a23bf5874f2256
+Subproject commit b3b0f8233468c5b2c623dafa72ba8d0e566db303
	@@ -8,4 +8,4 @@		@@ -8,4 +8,4 @@
8		8
9	[submodule "text/kr24"]	9	[submodule "text/kr24"]
10	path = text/kr24	10	path = text/kr24
11	- url = https://git.overleaf.com/65f422781f1d04e2c0aefd56
12	\ No newline at end of file	11	\ No newline at end of file
		12	+ url = git@git.xdi.uevora.pt:spa/zw-kr24.git
13	\ No newline at end of file	13	\ No newline at end of file
	@@ -0,0 +1,2 @@		@@ -0,0 +1,2 @@
		1	+a(X); -a(X) :- X = 1.
		2	+c(X) :- -a(X).
0	\ No newline at end of file	3	\ No newline at end of file