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

fix checking of uninstantiated metavariables in rules #301 #302

Merged
merged 7 commits into from Jan 10, 2020
Merged

fix checking of uninstantiated metavariables in rules #301 #302

merged 7 commits into from Jan 10, 2020

Commits on Dec 21, 2019

  1. fix checking of uninstantiated metavariables in rules Deducteam#301

    @fblanqui
    fblanqui committed Dec 21, 2019
    Configuration menu
    Copy the full SHA
    324a5c9 View commit details
    Browse the repository at this point in the history

  2. undo some change done for debugging

    @fblanqui
    fblanqui committed Dec 21, 2019
    Configuration menu
    Copy the full SHA
    ec65a07 View commit details
    Browse the repository at this point in the history

  3. undo some change done for debugging

    @fblanqui
    fblanqui committed Dec 21, 2019
    Configuration menu
    Copy the full SHA
    82f9482 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2020

  1. terms: add doc for eq_meta

    @fblanqui
    fblanqui committed Jan 8, 2020
    Configuration menu
    Copy the full SHA
    dc44232 View commit details
    Browse the repository at this point in the history

  2. basics: fix typo in comment

    @fblanqui
    fblanqui committed Jan 8, 2020
    Configuration menu
    Copy the full SHA
    a0113be View commit details
    Browse the repository at this point in the history

  3. Extra.Option: removed get without default value, and renamed get_defa… 

    …ult into get
    @fblanqui
    fblanqui committed Jan 8, 2020
    Configuration menu
    Copy the full SHA
    bc53195 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2020

  1. Basics.has_metas: fix comment

    @fblanqui
    fblanqui committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    f30ef04 View commit details
    Browse the repository at this point in the history