refreshing

KNowledgeOnWebScale · Mar 15, 2024 · d87716a · d87716a
1 parent 4fe70e1
commit d87716a
Show file tree

Hide file tree

Showing 27 changed files with 1 addition and 1 deletion.
diff --git a/lingua/output/ackermann.trig → lingua/proof/ackermann.trig b/lingua/output/ackermann.trig → lingua/proof/ackermann.trig
diff --git a/lingua/output/acp.trig → lingua/proof/acp.trig b/lingua/output/acp.trig → lingua/proof/acp.trig
diff --git a/lingua/output/backward.trig → lingua/proof/backward.trig b/lingua/output/backward.trig → lingua/proof/backward.trig
diff --git a/lingua/output/beetle.trig → lingua/proof/beetle.trig b/lingua/output/beetle.trig → lingua/proof/beetle.trig
diff --git a/lingua/output/blogic.trig → lingua/proof/blogic.trig b/lingua/output/blogic.trig → lingua/proof/blogic.trig
diff --git a/lingua/output/complement.trig → lingua/proof/complement.trig b/lingua/output/complement.trig → lingua/proof/complement.trig
diff --git a/lingua/output/complex.trig → lingua/proof/complex.trig b/lingua/output/complex.trig → lingua/proof/complex.trig
diff --git a/lingua/output/derived.trig → lingua/proof/derived.trig b/lingua/output/derived.trig → lingua/proof/derived.trig
diff --git a/lingua/output/easter.trig → lingua/proof/easter.trig b/lingua/output/easter.trig → lingua/proof/easter.trig
diff --git a/lingua/output/edt.trig → lingua/proof/edt.trig b/lingua/output/edt.trig → lingua/proof/edt.trig
diff --git a/lingua/output/fibonacci.trig → lingua/proof/fibonacci.trig b/lingua/output/fibonacci.trig → lingua/proof/fibonacci.trig
diff --git a/lingua/output/filter.trig → lingua/proof/filter.trig b/lingua/output/filter.trig → lingua/proof/filter.trig
diff --git a/lingua/output/gps.trig → lingua/proof/gps.trig b/lingua/output/gps.trig → lingua/proof/gps.trig
diff --git a/lingua/output/graph.trig → lingua/proof/graph.trig b/lingua/output/graph.trig → lingua/proof/graph.trig
diff --git a/lingua/output/mi.trig → lingua/proof/mi.trig b/lingua/output/mi.trig → lingua/proof/mi.trig
diff --git a/lingua/output/monadic.trig → lingua/proof/monadic.trig b/lingua/output/monadic.trig → lingua/proof/monadic.trig
diff --git a/lingua/output/pack.trig → lingua/proof/pack.trig b/lingua/output/pack.trig → lingua/proof/pack.trig
diff --git a/lingua/output/patch.trig → lingua/proof/patch.trig b/lingua/output/patch.trig → lingua/proof/patch.trig
diff --git a/lingua/output/peano.trig → lingua/proof/peano.trig b/lingua/output/peano.trig → lingua/proof/peano.trig
diff --git a/lingua/output/pi.trig → lingua/proof/pi.trig b/lingua/output/pi.trig → lingua/proof/pi.trig
diff --git a/lingua/output/restdesc.trig → lingua/proof/restdesc.trig b/lingua/output/restdesc.trig → lingua/proof/restdesc.trig
diff --git a/lingua/output/sha512.trig → lingua/proof/sha512.trig b/lingua/output/sha512.trig → lingua/proof/sha512.trig
diff --git a/lingua/output/socrates.trig → lingua/proof/socrates.trig b/lingua/output/socrates.trig → lingua/proof/socrates.trig
diff --git a/lingua/output/turing.trig → lingua/proof/turing.trig b/lingua/output/turing.trig → lingua/proof/turing.trig
diff --git a/lingua/output/union.trig → lingua/proof/union.trig b/lingua/output/union.trig → lingua/proof/union.trig
diff --git a/lingua/output/universal.trig → lingua/proof/universal.trig b/lingua/output/universal.trig → lingua/proof/universal.trig
diff --git a/lingua/test b/lingua/test
@@ -24,7 +24,7 @@ for file in *.trig
 do
     echo -en "$(pad "${file}" -24)"
     start=$(($(date +%s%N)/1000000))
-    see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/see-lingua .. https://eyereasoner.github.io/see-lingua/lingua/$file --output output/$file
+    see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/see-lingua .. https://eyereasoner.github.io/see-lingua/lingua/$file --output proof/$file
     end=$(($(date +%s%N)/1000000))
     echo -en "${YELLOW}$(pad "`expr $end - $start` msec" 12)${NORMAL} "
     if [[ $(git diff */$file | wc -l) -eq 0 ]]; then