Commits · master · Paolo G. Giarrusso / string-ident

Apr 06, 2020
- Fix installation instructions · bd6c3503
  Tej Chajed authored 4 years ago
  
  bd6c3503
- Add opam instructions · 98e342b6
  Tej Chajed authored 4 years ago
  
  98e342b6
Mar 30, 2020
- Rename top-level logical path to fit Iris style · adc28e0f
  Tej Chajed authored 4 years ago
  
  adc28e0f
Mar 27, 2020
- Remove exists example for now · fc5c9162
  Tej Chajed authored 4 years ago
  
  fc5c9162
- slightly expand README · 4e574119
  Ralf Jung authored 4 years ago
  
  4e574119
- Merge branch 'ralf/license' into 'master' · 7d350b66
  Tej Chajed authored 4 years ago
  
  make LICENSE consistent with Iris See merge request iris/string-ident!1
  7d350b66
- no reason to have the version in the opam file · 9078ad4b
  Ralf Jung authored 4 years ago
  
  9078ad4b
- opam 'maintainer' is the package maintainer, not the project maintainer · cedf0bb5
  Ralf Jung authored 4 years ago
  
  cedf0bb5
- make LICENSE consistent with Iris · 6bc8f001
  Ralf Jung authored 4 years ago
  
  6bc8f001
- opam package name: coq-iris-string-ident · 1b5fe017
  Ralf Jung authored 4 years ago
  
  1b5fe017
- adjust Makefile and opam file for consistency with other projects · 98988655
  Ralf Jung authored 4 years ago
  
  98988655
Mar 25, 2020
- Remove Ltac2 from the name · 4410c1d3
  Tej Chajed authored 4 years ago
  
  4410c1d3
- Switch to 3-Clause BSD license · 85752806
  Tej Chajed authored 4 years ago
  
  85752806
- Clean up paratext · ffc471f3
  Tej Chajed authored 4 years ago
  
  ffc471f3
Mar 24, 2020
- Stop using coq-community/template · 4e781240
  Tej Chajed authored 4 years ago
  
  4e781240
- Add a specific version of Iris · 50aba1e3
  Tej Chajed authored 4 years ago
  
  50aba1e3
- Fix version strings · 5d9e2f83
  Tej Chajed authored 4 years ago
  
  5d9e2f83
- Initial version · 43d4a954
  Tej Chajed authored 4 years ago
  
  43d4a954