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

Build script: no local biblio, use only Specref ids #3992

Merged
merged 10 commits into from
Aug 15, 2024

Commits on Aug 2, 2024

  1. Configuration menu
    Copy the full SHA
    f26919a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    79cdabe View commit details
    Browse the repository at this point in the history
  3. Update md2html.js

    ralfhandl committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    6305acf View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Improved formatting

    * better green for headlines
    * consistent headline styles
    * JSON Reference as normative reference
    ralfhandl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    75e7f5e View commit details
    Browse the repository at this point in the history
  2. Update md2html.js

    ralfhandl committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    4cbb078 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2024

  1. Configuration menu
    Copy the full SHA
    0c77baa View commit details
    Browse the repository at this point in the history
  2. normalize line-endings

    ralfhandl committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    055382b View commit details
    Browse the repository at this point in the history
  3. Try assert

    ralfhandl committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    bb89f3e View commit details
    Browse the repository at this point in the history
  4. line-endings

    ralfhandl committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    4d990d9 View commit details
    Browse the repository at this point in the history
  5. Code blocks

    ralfhandl committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    aa17cea View commit details
    Browse the repository at this point in the history