File: main.sty

package info (click to toggle)
whizzytex 1.5.0-0.1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 6,536 kB
  • sloc: lisp: 3,668; sh: 1,768; makefile: 227
file content (14 lines) | stat: -rw-r--r-- 405 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
\usepackage {hyperref}
\usepackage {exercise}
\edef\hyper@quote{\string"}
\edef\hyper@sharp{\string#}
\def \softlink #1#2{\special 
  {html:<A href=\hyper@quote\hyper@sharp#1\hyper@quote>}#2\special
  {html:</A>}}
\def \softtarget #1#2{\special
  {html:<A name=\hyper@quote#1\hyper@quote>}#2\special
  {html:</A>}}

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newenvironment{proof}{Proof:}{}