Commits · master · Ralf Jung / cfml2

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