From 3244cbe684f3d71cf1173bb80a566759a292df7d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 1 May 2019 16:41:27 +0200
Subject: [PATCH] debugging
---
source/OneDimDevice.en.tex | 2 +-
source/PhysicalConstants.tex | 3 +--
source/TwoDimDevice.en.tex | 2 +-
3 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/source/OneDimDevice.en.tex b/source/OneDimDevice.en.tex
index 44bd941..57d0751 100644
--- a/source/OneDimDevice.en.tex
+++ b/source/OneDimDevice.en.tex
@@ -1,7 +1,7 @@
\begin{mhmodnl}{OneDimDevice}{en}
\begin{definition}
A \trefi[Device]{device} is called \defi{one-dimensional}, iff all of its
- \atrefi[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
+ \atrefii[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
translation-invariant in two directions
\end{definition}
\end{mhmodnl}
diff --git a/source/PhysicalConstants.tex b/source/PhysicalConstants.tex
index 2a8e3f4..999c38f 100644
--- a/source/PhysicalConstants.tex
+++ b/source/PhysicalConstants.tex
@@ -1,5 +1,4 @@
-% sTeX file automatically generated from OMDoc/MMT file, needs to be adapted
-\begin{modsig}{PhysicalConstants}
+\begin{modsig}[id=PhysicalConstants]
\gimport[smglom/arithmetics]{scinotation}
\importmhmodule[repos=BaseMH/physics,path=units/en/energy]{energy}
\importmhmodule[repos=BaseMH/physics,path=units/en/temperature]{temperature}
diff --git a/source/TwoDimDevice.en.tex b/source/TwoDimDevice.en.tex
index c9127f2..43eea08 100644
--- a/source/TwoDimDevice.en.tex
+++ b/source/TwoDimDevice.en.tex
@@ -1,7 +1,7 @@
\begin{mhmodnl}{TwoDimDevice}{en}
\begin{definition}
A \trefi[Device]{device} is called \defi{two-dimensional}, iff all of its
- \atrefi[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
+ \atrefii[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
translation-invariant in one direction.
\end{definition}
\end{mhmodnl}
--
GitLab