Skip to content

History / Remote Collaborative Editing of Coq Files

Edit page New page

Revisions

  • fixes, pros cons

    @aa755 aa755 committed Jun 13, 2020
    1f6bcf0

  • Updated Remote Collaborative Editing of Coq Files (markdown)

    @aa755 aa755 committed Jun 13, 2020
    f1220c3

  • Updated Remote Collaborative Editing of Coq Files (markdown)

    @aa755 aa755 committed Jun 13, 2020
    45cabaf

  • image test

    @aa755 aa755 committed Jun 13, 2020
    2434b30

  • Updated Remote Collaborative Editing of Coq Files (markdown)

    @aa755 aa755 committed Jun 13, 2020
    e373f58

  • Updated WIP: Remote Collaborative Editing of Coq Files (markdown)

    @aa755 aa755 committed Jun 13, 2020
    5102410