Commits · 98cf734b417c531615e204fab7cfc6e0c94863a6 · Ralf Jung / cfml2

Jul 13, 2018
- bump Iris version (no changes needed) · 98cf734b
  Ralf Jung authored 6 years ago
  
  98cf734b
Jun 26, 2018
- fix and document coqproject usage · bbcc2fcd
  Arthur Charguéraud authored 6 years ago
  
  bbcc2fcd
May 30, 2018
- add .gitignore · 1840dac1
  Ralf Jung authored 6 years ago
  
  1840dac1
- offer a way to export without testing · 4188607d
  Ralf Jung authored 6 years ago
  
  4188607d
May 29, 2018
- reorganize folders · ad2bfc80
  Arthur Charguéraud authored 6 years ago
  
  ad2bfc80
- comment out dev example · 58263696
  Arthur Charguéraud authored 6 years ago
  
  58263696
- export scripts completed, removed axioms · b9ed9e36
  Arthur Charguéraud authored 6 years ago
  
  b9ed9e36
- removed some axioms · 72f4e9e7
  Arthur Charguéraud authored 6 years ago
  
  72f4e9e7
- export_script_iris · 67fe36c1
  Arthur Charguéraud authored 6 years ago
  
  67fe36c1
- installation procedure · 749070a0
  Arthur Charguéraud authored 6 years ago
  
  749070a0
- update wrt the most recent version of GPM. · 00dcccaa
  Jacques-Henri Jourdan authored 6 years ago
  
  00dcccaa
May 14, 2018
- wp_lifted in progress · 6555ffaa
  Arthur Charguéraud authored 6 years ago
  
  6555ffaa
- lifted_wp · be5259f8
  Arthur Charguéraud authored 6 years ago
  
  be5259f8
- initial commit for CFML2 · 1fddec38
  Arthur Charguéraud authored 6 years ago
  
  1fddec38