X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Utils%2FShortcuts.tex;h=80d1696c0369506532aaa20df9a90c7a6f12bf73;hp=5c46d3709e567227be9668978d1969dc70ee66bb;hb=811d9423a23aa352d7d91573c76283246faab938;hpb=feee31da167a3c0505d2683d3e81e2597743f1a6

diff --git a/Utils/Shortcuts.tex b/Utils/Shortcuts.tex
index 5c46d37..80d1696 100644
--- a/Utils/Shortcuts.tex
+++ b/Utils/Shortcuts.tex
@@ -2,11 +2,9 @@
 % This file defines some useful shortcut commands
 %
 
-\def\autoinsertnextspace{}
-
 % A shortcut for italicized e.g. and i.e.
-\define[0]\eg{{\em e.g.}\autoinsertnextspace}
-\define[0]\ie{{\em i.e.}\autoinsertnextspace}
+\define[0]\eg{{\em e.g.}}
+\define[0]\ie{{\em i.e.}}
 
 
 % Define a new reference to a definition of the term. The text of the
@@ -24,14 +22,14 @@
 \define[2]\defreftxt{\reference[def:#1]{#2}}
 
 % Reference a defined reference (using \defref). Will put the reference text
-% and a page number in the margin. We use \inothermargin, since it is slightly
+% and a page number in the margin. We use \inmargin, since it is slightly
 % bigger.
 % This automatically prefixes the reference name with def:
-\define[1]\refdef{\inothermargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
+\define[1]\refdef{\inmargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
 
 % Shortcuts to write in smallcaps
-\def\VHDL{\small{VHDL}\autoinsertnextspace}
-\def\GHC{\small{GHC}\autoinsertnextspace}
+\def\VHDL{\small{VHDL}}
+\def\GHC{\small{GHC}}
 
 % TODO: Use this instead of $ to fool syntax highlighting
 \def\${\char36}