separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)
1 % macros and definitions
3 \newcommand\fname{\begingroup \smaller\urlstyle{tt}\Url}
5 \newcommand\vname{\begingroup \smaller\urlstyle{tt}\Url}
8 % for class names, define our own url style
10 \makeatletter % protect @ names
12 % \url@letstyle: New URL sty to premit break at any letters.
13 % Based on \url@ttstyle
15 \def\Url@letdo{% style assignments for tt fonts or T1 encoding
16 \def\UrlBreaks{\do\a\do\b\do\c\do\d\do\e\do\f\do\g\do\h\do\i\do\j\do\k\do\l%
17 \do\m\do\n\do\o\do\p\do\q\do\r\do\s\do\t\do\u\do\v\do\w\do\x%
19 \do\A\do\B\do\C\do\D\do\E\do\F\do\G\do\H\do\I\do\J\do\K\do\L%
20 \do\M\do\N\do\O\do\P\do\Q\do\R\do\S\do\T\do\U\do\V\do\W\do\X%
23 \def\UrlBigBreaks{\do\.\do\@\do\\\do\/\do\!\do\_\do\|\do\%\do\;\do\>\do\]%
24 \do\)\do\,\do\?\do\'\do\+\do\=\do\#\do\:\do@url@hyp}%
25 \def\UrlNoBreaks{\do\(\do\[\do\{\do\<}% (unnecessary)
26 \def\UrlSpecials{\do\ {\ }}%
27 \def\UrlOrds{\do\*\do\-\do\~}% any ordinary characters that aren't usually
28 \Urlmuskip = 0mu plus 1mu%
32 \@ifundefined{selectfont}{\def\UrlFont{\sf}}{\def\UrlFont{\sffamily}}\Url@letdo
35 \makeatother % unprotect @ names
38 \newcommand\cname{\begingroup \smaller\urlstyle{let}\Url}
41 \newcommand{\imgcredit}[1]
48 \newcommand{\chapquote}[2]
55 {\scriptsize \sffamily [#2]}%
61 % \urlfootnote{url}{day}{month}{year}
62 \newcommand{\murlfootnote}[4]{\footnote{\url{{#1}} (last visit {#4}-{#3}-{#2})}}
63 \newcommand{\murlfootnotebreak}[4]{\footnote{\url{{#1}}\\ \hspace*{6mm}(last visit {#4}-{#3}-{#2})}}
65 % change margin command
66 \def\changemargin#1#2{\list{}{\rightmargin#2\leftmargin#1}\item[]}
67 \let\endchangemargin=\endlist