Rev 18102 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 18102 | Rev 18448 | ||
|---|---|---|---|
| Line 124... | Line 124... | ||
| 124 | !set latex_src=!replace internal \par by $\ |
124 | !set latex_src=!replace internal \par by $\ |
| 125 | \par$ in $latex_src |
125 | \par$ in $latex_src |
| 126 | !set latex_src=!replace internal \item by $\ |
126 | !set latex_src=!replace internal \item by $\ |
| 127 | \item$ in $latex_src |
127 | \item$ in $latex_src |
| 128 | !set latex_src=!replace internal $ by $ $$$$$$$$$$$$$$$$ $ in $latex_src |
128 | !set latex_src=!replace internal $ by $ $$$$$$$$$$$$$$$$ $ in $latex_src |
| - | 129 | !set latex_src=!replace internal : by $ : $ in $latex_src |
|
| - | 130 | !set latex_src=!replace internal ? by $ ? $ in $latex_src |
|
| - | 131 | !set latex_src=!replace internal € by $ \(\,\euro\) $ in $latex_src |
|
| 129 | 132 | ||
| 130 | !if $latex_src!= |
133 | !if $latex_src!= |
| 131 | !set latex_exists=1 |
134 | !set latex_exists=1 |
| 132 | !!one has tested that there is some latex in exercises. |
135 | !!one has tested that there is some latex in exercises. |
| 133 | !! but we continue only if it has been asked |
136 | !! but we continue only if it has been asked |