equal
deleted
inserted
replaced
189 other packages |
189 other packages |
190 |
190 |
191 * \<euro> now needs package babel/greek instead of marvosym (which |
191 * \<euro> now needs package babel/greek instead of marvosym (which |
192 broke \Rightarrow) |
192 broke \Rightarrow) |
193 |
193 |
194 * normal size for \<0>...\<9> (uses \mathbf instead of textcomp package) |
194 * normal size for \<zero>...\<nine> (uses \mathbf instead of |
|
195 textcomp package) |
195 |
196 |
196 |
197 |
197 New in Isabelle2002 (March 2002) |
198 New in Isabelle2002 (March 2002) |
198 -------------------------------- |
199 -------------------------------- |
199 |
200 |