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

[WIP] Convert abbreviation data to CSV and adapt JabRef accordingly #5538

Merged
merged 16 commits into from
Oct 31, 2019
Merged

[WIP] Convert abbreviation data to CSV and adapt JabRef accordingly #5538

merged 16 commits into from
Oct 31, 2019

Commits on Oct 27, 2019

  1. Configuration menu
    Copy the full SHA
    f05678a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d692617 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    fdfd982 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2019

  1. Configuration menu
    Copy the full SHA
    4610d8e View commit details
    Browse the repository at this point in the history
  2. Update abbrv-related tests

    davidemdot committed Oct 28, 2019
    Configuration menu
    Copy the full SHA
    9bb89dc View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2019

  1. 1 Configuration menu
    Copy the full SHA
    6bb2f57 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ac43b5d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c9a45e9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e72709f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    3d1449e View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    39e125d View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    8b21f32 View commit details
    Browse the repository at this point in the history
  8. Fix/improve more issues

    davidemdot committed Oct 29, 2019
    Configuration menu
    Copy the full SHA
    f9281e0 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    f12478f View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2019

  1. Configuration menu
    Copy the full SHA
    80880dc View commit details
    Browse the repository at this point in the history
  2. Add a few improvements

    davidemdot committed Oct 31, 2019
    Configuration menu
    Copy the full SHA
    9a6003f View commit details
    Browse the repository at this point in the history