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.

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

Convert core to Metanorma #4

Merged
merged 18 commits into from
Aug 20, 2021
Merged

Convert core to Metanorma #4

merged 18 commits into from
Aug 20, 2021

Commits on Jul 28, 2021

  1. Configuration menu
    Copy the full SHA
    4de9c24 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3bbb6d0 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2021

  1. Configuration menu
    Copy the full SHA
    a76a421 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    8b77529 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    a2d00a6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    50f6c78 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    748fd42 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2021

  1. Fix markup bug

    manuelfuenmayor committed Jul 30, 2021
    Configuration menu
    Copy the full SHA
    6ec7002 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2021

  1. Configuration menu
    Copy the full SHA
    b57ee3d View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2021

  1. Configuration menu
    Copy the full SHA
    f5cc91e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    571eeab View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c5200a6 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    5f05496 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    c61cde4 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    bbac53c View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2021

  1. Transfer files from "core_metanorma" folder to "core" folder

    * Several adoc files were deleted
    * Many files were replaced
    manuelfuenmayor committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    181fff6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bf8a8ba View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e4aaa62 View commit details
    Browse the repository at this point in the history