Skip to content

History

Revisions

  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    eda49e7
  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    b7871ab
  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    d9a0815
  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    fff848d
  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    e551e75
  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    b52268d
  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    076c9ce
  • <pre> and <tt> conversions

    @steveri steveri committed May 20, 2021
    0407897
  • maybe indentation suffices

    @steveri steveri committed May 20, 2021
    cf9384e
  • maybe indentation suffices

    @steveri steveri committed May 20, 2021
    3611345
  • maybe indentation suffices

    @steveri steveri committed May 20, 2021
    09f80aa
  • pre conversion trial

    @steveri steveri committed May 20, 2021
    6ed7f5b
  • pre conversion trial

    @steveri steveri committed May 20, 2021
    cd31998
  • the last of them for now maybe

    @steveri steveri committed May 20, 2021
    7506974
  • use what works

    @steveri steveri committed May 20, 2021
    6443ad9
  • use what works

    @steveri steveri committed May 20, 2021
    3391e8e
  • thrashing on syntax

    @steveri steveri committed May 20, 2021
    13eabe0
  • thrashing on syntax

    @steveri steveri committed May 20, 2021
    4857a99
  • single-tick no good?

    @steveri steveri committed May 20, 2021
    239651a
  • maybe <pre> is just plain unreliable?

    @steveri steveri committed May 20, 2021
    ecdf5f8
  • end-tag must be preceded by space?

    @steveri steveri committed May 20, 2021
    e0a7f3d
  • hm apparently not all <pre> tags are bad...

    @steveri steveri committed May 20, 2021
    0c6c43a
  • convert a few more <pre> tags

    @steveri steveri committed May 20, 2021
    136d7f6
  • triple-tick instead of <pre>?

    @steveri steveri committed May 20, 2021
    bfabffd
  • Updated Publications (mediawiki)

    @steveri steveri committed Mar 27, 2019
    9509edf
  • Updated Publications (mediawiki)

    @steveri steveri committed Mar 27, 2019
    5407aad
  • Updated Publications (mediawiki)

    @steveri steveri committed Mar 27, 2019
    9f64ac7
  • Updated Publications (mediawiki)

    @steveri steveri committed Mar 27, 2019
    924356e
  • debugging pdf problem

    @steveri steveri committed Mar 27, 2019
    61c64be
  • adding hierarchy to wiki maybe

    @steveri steveri committed Feb 20, 2019
    c0dfcc5