Activities

• Friday January 28 2011

  • Push

    10:36

    

    asmanur pushed 4 commits to mldown/mldown:master

    master changed from 6875600 to d5ca974

    

• Wednesday January 26 2011

  • Push

    09:43

    

    asmanur pushed 5 commits to mldown/mldown:master

    master changed from ae6b744 to 6875600

    

• Thursday January 20 2011

  • Push

    17:43

    

    asmanur pushed 8 commits to mldown/mldown:master

    master changed from 790b5bb to ae6b744

    

• Thursday August 19 2010

  • Push

    13:11

    

    asmanur pushed 6 commits to mldown/mldown:ast-modification

    ast-modification changed from 4860885 to 790b5bb

    

  • Push

    13:11

    

    asmanur pushed 15 commits to mldown/mldown:master

    master changed from 3a372b8 to 790b5bb

    

• Saturday August 14 2010

  • Comment

    16:49

    

    asmanur commented on mldown/mldown

    Mets les forall/exists dans code:coq (Sinon List.forall se fait replace), et tu pourrais mettre plus de lettres grecques :-°

• Tuesday August 10 2010

  • Push

    12:21

    

    asmanur pushed 48608855 to mldown/mldown:ast-modification

    on August 10, 2010 12:22

    <em> is an inline markup.

  • Push

    12:21

    

    asmanur pushed 3a372b82 to mldown/mldown:master

    on August 05, 2010 16:15

    Makefile: added the flag -annot to compilation commands.

  • Push

    12:21

    

    asmanur pushed 7 commits to mldown/mldown:ast-modification

    ast-modification changed from 5916ec7 to 6c285d2

    

• Thursday August 05 2010

  • Commit

    16:30

    

    asmanur created branch ast-modification on mldown/mldown

• Monday August 02 2010

  • Push

    21:00

    

    asmanur pushed 1aed5eaf to mldown/mldown:master

    on August 02, 2010 20:52

    adding 'mkdir -p doc/' to the Makefile

• Sunday August 01 2010

  • Push

    17:46

    

    asmanur pushed 2 commits to mldown/mldown:master

    master changed from 5639773 to 783617c

    

• Saturday July 31 2010

  • Push

    12:23

    

    asmanur pushed 2 commits to mldown/mldown:master

    master changed from cdce66b to 5639773

    

• Wednesday July 28 2010

  • Push

    13:49

    

    asmanur pushed cdce66b3 to mldown/mldown:master

    on July 28, 2010 13:50

    Added mldown.a to the list of installed files.

  • Push

    11:50

    

    asmanur pushed 428e8c01 to mldown/mldown:master

    on July 28, 2010 11:43

    Renamed modules from "X" to "Mldown_x" so that long names are exported instead of long ones.

• Tuesday July 27 2010

  • Push

    08:39

    

    asmanur pushed 2 commits to mldown/mldown:master

    master changed from 8246747 to 5a8a078

    

• Sunday July 18 2010

  • Push

    19:13

    

    asmanur pushed 8246747e to mldown/mldown:master

    on July 18, 2010 19:14

    context: Spread arguments to autoloaded even if the module has already been preloaded.

  • Push

    18:50

    

    asmanur pushed 726d4f91 to mldown/mldown:master

    on July 18, 2010 18:51

    reader: Now modules's arguments may have space in them.

  • Push

    16:19

    

    asmanur pushed 3 commits to mldown/mldown:master

    master changed from abaaf3f to db827c9

    

• Sunday June 20 2010

  • Push

    13:53

    

    asmanur pushed abaaf3fc to mldown/mldown:master

    on June 20, 2010 13:51

    Now transformers.unicode loads the transformation from a file.

  • Commit

    13:19

    

    asmanur started development of mldown/mldown

  • Repository

    13:17

    

    asmanur created repository mldown in mldown

  • Commit

    13:15

    

    asmanur committed 9ec84da7 to mldown

    Some fixes on the documentation.

  • Commit

    13:08

    

    asmanur committed bebcdc4d to mldown

    Renamed mldown.text to README.text

  • Commit

    13:06

    

    asmanur committed b410bd39 to mldown

    Now you can specify the maximum depth of a table of contents.

• Tuesday June 15 2010

  • Commit

    06:51

    

    asmanur committed 8deaea86 to mldown

    Indent error message in shell.

  • Commit

    06:48

    

    asmanur committed 1b7e1d91 to mldown

    Adapted the TeX header to the new metadata-system.

• Sunday June 13 2010

  • Commit

    07:24

    

    asmanur committed ea4b7cba to mldown

    I had left some debugging code.

• Saturday June 12 2010

  • Commit

    10:59

    

    asmanur committed 94b2aa41 to mldown

    Xml.mli was missing.

• Thursday June 10 2010

  • Commit

    16:18

    

    asmanur committed 28da6626 to mldown

    Xml: Made title become inline in xhtml.