Skip to content

History

Revisions

  • Improve renaming script furh

    @fingolfin fingolfin committed Mar 31, 2023
    3da3160

  • gsed -> sed

    @fingolfin fingolfin committed Mar 27, 2023
    f82bbbc

  • Updated The Big Renaming (markdown)

    @fingolfin fingolfin committed Mar 6, 2023
    a0aaa5b

  • Created The Big Renaming (markdown)

    @fingolfin fingolfin committed Mar 6, 2023
    9633ede

  • Destroyed Contacts for subprojects (markdown)

    @fingolfin fingolfin committed Feb 26, 2023
    40d3ea9

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Nov 5, 2021
    3cc98a4

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Nov 5, 2021
    972cb04

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Nov 5, 2021
    b20fa9b

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Nov 5, 2021
    ca2255c

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 21, 2021
    ccd4a3b

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 21, 2021
    274454e

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 21, 2021
    d7f1d4c

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 19, 2021
    33444b9

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 19, 2021
    ecaeb58

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 19, 2021
    1bef7f7

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @HechtiDerLachs HechtiDerLachs committed Oct 19, 2021
    b11da18

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @HechtiDerLachs HechtiDerLachs committed Oct 19, 2021
    da3aedc

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @HechtiDerLachs HechtiDerLachs committed Oct 18, 2021
    4bddb37

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 15, 2021
    512eba1

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @julien-schanz julien-schanz committed Oct 8, 2021
    a893956

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @julien-schanz julien-schanz committed Oct 8, 2021
    cab1841

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 8, 2021
    0d18c4c

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 8, 2021
    8f50d79

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @HechtiDerLachs HechtiDerLachs committed Oct 8, 2021
    69a1c2d

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 7, 2021
    9303607

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 7, 2021
    e0a1cd5

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 7, 2021
    d5577db

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 7, 2021
    a644222

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 7, 2021
    f47007e

  • Updated Groebner Base and Orderings in Oscar (markdown)

    @wbhart wbhart committed Oct 7, 2021
    d5646e2