Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

3
I Use This!
High Activity

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 15 hours ago.
May 14, 2023 — May 14, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
fill the file CHANGES plus minor changes in the manual
Claude Marché
as Claude Marche
More... over 6 years ago
Support for Isabelle 2017
Claude Marché
as Claude Marche
More... over 6 years ago
Merge branch 'master' into itp
Claude Marché
as Claude Marche
More... over 6 years ago
adjust for supporting both Coq 8.5 and Coq 8.6
Claude Marché
as Claude Marche
More... over 6 years ago
fix again for pretty printing local premises
Claude Marché
as Claude Marche
More... over 6 years ago
pretty printing task with local premises: small fix
Claude Marché
as Claude Marche
More... over 6 years ago
Added ocp-indent configuration file
Mário Pereira
More... over 6 years ago
pretty print task: separate introduced premises from rest of local context
Claude Marché
as Claude Marche
More... over 6 years ago
Remove unused code.
Guillaume Melquiond
More... over 6 years ago
Remove configure check for -bin-annot since OCaml 4.02.3 is required.
Guillaume Melquiond
More... over 6 years ago
Compile with -keep-locs to allow dead code analysis.
Guillaume Melquiond
More... over 6 years ago
Optional arguments of tactics can be prlist
Sylvain Dailler
More... over 6 years ago
Noprogress is now raised when any of the new tasks is equal to the task
Sylvain Dailler
More... over 6 years ago
Adapt to Coq 8.7.
Guillaume Melquiond
More... over 6 years ago
make debug flags systematically print their own name
Claude Marché
as Claude Marche
More... over 6 years ago
Merge branch 'master' into itp
Claude Marché
as Claude Marche
More... over 6 years ago
sanitizers for printing tasks
Claude Marché
as Claude Marche
More... over 6 years ago
Extraction: comment out condition about modular extraction
Mário Pereira
More... over 6 years ago
forbid removal of files in sessions
Claude Marché
as Claude Marche
More... over 6 years ago
fix sessions
Claude Marché
as Claude Marche
More... over 6 years ago
make explicit the warning message for induction_ty_lex
Claude Marché
as Claude Marche
More... over 6 years ago
make explicit the warning message for induction_ty_lex
Claude Marché
as Claude Marche
More... over 6 years ago
fix parsing of prover names
Claude Marché
as Claude Marche
More... over 6 years ago
fix issue with initial timelimit of bisect
Claude Marché
as Claude Marche
More... over 6 years ago
Possibility to instantiate several forall at once.
Sylvain Dailler
More... over 6 years ago
Subst should also work for constant now
Sylvain Dailler
More... over 6 years ago
remove obsolete driver for ITP
Claude Marché
as Claude Marche
More... over 6 years ago
Compatibility with old Ocaml.
Sylvain Dailler
More... over 6 years ago
remove the naming table in argument of printers: not used anymore
Claude Marché
as Claude Marche
More... over 6 years ago
update session
Claude Marché
as Claude Marche
More... over 6 years ago