Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • v0.1.0
2 results
Created with Raphaël 2.2.024Mar19Jul181525May29Apr7630Mar272524we can deprecate this plugin nowmastermasterFix up mentions of v8.11v0.1.0v0.1.0Merge branch 'tchajed/simplify-passing-identifier' into 'master'Merge branch 'tchajed/add-tests' into 'master'Re-implement passing identifier back to Ltac1Expand failure testsAdd tests and test infrastructurethe version in opam is the Coq 8.11 versionupdate opam file and READMEMerge branch 'patch-1' into 'master'Drop unneeded import of intro_patternsFix order of imports.Correct usage instructions: replace `Require` with `Require Import`Merge branch 'patch-1' into 'master'opam: require minimum Iris version (fix #2)Fix installation instructionsAdd opam instructionsRename top-level logical path to fit Iris styleRemove exists example for nowslightly expand READMEMerge branch 'ralf/license' into 'master'no reason to have the version in the opam fileopam 'maintainer' is the package maintainer, not the project maintainermake LICENSE consistent with Irisopam package name: coq-iris-string-identadjust Makefile and opam file for consistency with other projectsRemove Ltac2 from the nameSwitch to 3-Clause BSD licenseClean up paratextStop using coq-community/templateAdd a specific version of IrisFix version stringsInitial version