Commits · master · Nils Fitinghoff / why3

Nov 03, 2015
- small fix about licenses of icon sets · b1b0f085
  Claude Marché authored 9 years ago
  
  b1b0f085
Oct 13, 2015
- Licensing info both in README and in LICENCE · 2f56d736
  Claude Marché authored 9 years ago
  
  2f56d736
Oct 06, 2015
- Licensing info both in README and in LICENCE · 556c7936
  Claude Marché authored 9 years ago
  
  556c7936
Jan 13, 2015
- More license clairification · c17b9b2a
  Claude Marché authored 10 years ago
  
  c17b9b2a
- Licenses clarification · 3100076f
  Claude Marché authored 10 years ago
  
  3100076f
Oct 20, 2012
- simplify copyright headers · 11598d2b
  Andrei Paskevich authored 12 years ago
  11598d2b
Feb 09, 2010
- Hashcons : plus de type node · e8f4ac63
  Jean-Christophe Filliâtre authored 15 years ago
  
  e8f4ac63