Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add constructors for values of type Omd.doc #268

Merged
merged 6 commits into from
Aug 1, 2022
Merged

add constructors for values of type Omd.doc #268

merged 6 commits into from
Aug 1, 2022

Commits on May 13, 2022

  1. add constructors for values of type Omd.doc 

    Fixes: ocaml#252
    @tatchi
    tatchi committed May 13, 2022
    Configuration menu
    Copy the full SHA
    7259e32 View commit details
    Browse the repository at this point in the history

  2. remove attributes for {soft,hard}_break and hr

    @tatchi
    tatchi committed May 13, 2022
    Configuration menu
    Copy the full SHA
    f913b59 View commit details
    Browse the repository at this point in the history

  3. fmt

    @tatchi
    tatchi committed May 13, 2022
    Configuration menu
    Copy the full SHA
    ab6c48d View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2022

  1. update names

    @tatchi
    tatchi committed Jun 1, 2022
    Configuration menu
    Copy the full SHA
    40a3cad View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2022

  1. Merge branch 'master' into add-constructors

    @shonfeder
    shonfeder authored Jul 24, 2022
    Configuration menu
    Copy the full SHA
    759c364 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2022

  1. Merge branch 'master' into add-constructors

    @shonfeder
    shonfeder authored Aug 1, 2022
    Configuration menu
    Copy the full SHA
    1db13d5 View commit details
    Browse the repository at this point in the history