Merge branch 'urtheories-strings' into devel

abe15fdf · Dennis Müller · 84236f50 · a9d8edfa · abe15fdf · abe15fdf
Commit abe15fdf authored 4 years ago by Dennis Müller
--- a/content/http..mathhub.info/MitM/Foundation/$Description$Operator.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Description$Operator.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Inductive$Types.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Inductive$Types.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Informal$Proofs.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Informal$Proofs.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Lists.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Lists.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Logic.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Logic.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Math.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Math.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Matrices.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Matrices.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Option$Type.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Option$Type.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Sequences.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Sequences.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Strings.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Strings.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Vectors.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Vectors.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/sets/$Choice.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/sets/$Choice.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/sets/$Functions.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/sets/$Functions.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/sets/$Infinity.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/sets/$Infinity.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/sets/$Lift$Omega.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/sets/$Lift$Omega.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/sets/$Pairing.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/sets/$Pairing.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/sets/$Sets.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/sets/$Sets.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/sets/$Union.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/sets/$Union.omdoc.xz
--- a/errors/mmt-omdoc/math.mmt.err
+++ b/errors/mmt-omdoc/math.mmt.err
+<errors>
+</errors>
--- a/errors/mmt-omdoc/sets/typeconversions.mmt.err
+++ b/errors/mmt-omdoc/sets/typeconversions.mmt.err
@@ -35,7 +35,7 @@
    <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
-    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:262)</element>
+    <element>info.kwarc.mmt.api.archives.BuildQueue$$anon$1.run(BuildQueue.scala:263)</element>
  </stacktrace>
 </error>
 </errors>