equal
deleted
inserted
replaced
357 \<^medskip> code: 0x002509 group: control font: IsabelleText |
357 \<^medskip> code: 0x002509 group: control font: IsabelleText |
358 \<^bigskip> code: 0x002501 group: control font: IsabelleText |
358 \<^bigskip> code: 0x002501 group: control font: IsabelleText |
359 \<^item> code: 0x0025aa group: control font: IsabelleText |
359 \<^item> code: 0x0025aa group: control font: IsabelleText |
360 \<^enum> code: 0x0025b8 group: control font: IsabelleText |
360 \<^enum> code: 0x0025b8 group: control font: IsabelleText |
361 \<^descr> code: 0x0027a7 group: control font: IsabelleText |
361 \<^descr> code: 0x0027a7 group: control font: IsabelleText |
362 #\<^emph> code: 0x002217 group: control font: IsabelleText |
362 \<^emph> code: 0x002217 group: control font: IsabelleText |
363 \<^bold> code: 0x002759 group: control font: IsabelleText |
363 \<^bold> code: 0x002759 group: control font: IsabelleText |
364 \<^sub> code: 0x0021e9 group: control font: IsabelleText |
364 \<^sub> code: 0x0021e9 group: control font: IsabelleText |
365 \<^sup> code: 0x0021e7 group: control font: IsabelleText |
365 \<^sup> code: 0x0021e7 group: control font: IsabelleText |
366 \<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_( |
366 \<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_( |
367 \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) |
367 \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) |