Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Activity Not Available

Commits : Listings

Analyzed 12 months ago. based on code collected 12 months ago.
Dec 18, 2023 — Jan 17, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'misc-ci' into 'master'
Guillaume Melquiond
More... 12 months ago
Merge branch 'fix-bibliography-keys' into 'master'
Guillaume Melquiond
More... 12 months ago
Merge branch '816-get-rid-of-meta-model_projected' into 'master'
MARCHE Claude
More... 12 months ago
Disable all usage of meta `model_projected` Disable the use of transformation `intro_model_projection` which appears to be useless Expose any exception raised by `task_of_term`. Small fix in the clone introduced by `task_of_term`, but a better fix is needed later
Matteo Manighetti
More... 12 months ago
Merge branch 'publish-doc' into 'master'
Guillaume Melquiond
More... 12 months ago
Make the opam jobs a bit less confusing.
Guillaume Melquiond
More... 12 months ago
Merge branch '827-export-sessions-as-zip-file-failure' into 'master'
MARCHE Claude
More... 12 months ago
Be more permissive with respect to future releases of Python.
Guillaume Melquiond
More... 12 months ago
Use UTF8 accents for authors in the bibliography.
Guillaume Melquiond
More... 12 months ago
Merge branch '828-no-syntax-highlighting-for-mlw-files-in-ide' into 'master'
MARCHE Claude
More... 12 months ago
protect against filenames with special characters
Claude Marché
as Claude Marche
More... 12 months ago
recover format identified by "whyml"
Claude Marché
as Claude Marche
More... 12 months ago
Publish the documentation for the API and the standard library.
Guillaume Melquiond
More... 12 months ago
Merge branch '825-alt-ergo-2-5-x-should-be-made-used-by-auto-strategies' into 'master'
MARCHE Claude
More... 12 months ago
add use_at_auto_level for Alt-Ergo 2.5.x
Claude Marché
as Claude Marche
More... 12 months ago
Added missing prover alternative FPA for Alt-Ergo 2.5.x
BONNOT Paul
More... 12 months ago
Merge branch '820-alt-ergo-2-5-x-add-the-fpa-alternative' into 'master'
MARCHE Claude
More... 12 months ago
Merge branch 'topic/kanig-undone' into 'master'
MARCHE Claude
More... 12 months ago
don't use default value when reading in proof results
Johannes Kanig
More... almost 1 year ago