Commits · 0edd0a6d38532bee97e1ad91bbaab728c60eb62e · CHARGUERAUD Arthur / cfml

06 Nov, 2014 7 commits
- Re-enabled the compilation of the Coq library. · 0edd0a6d
  POTTIER Francois authored Nov 06, 2014
  
  0edd0a6d
- TODO update. · 31016daf
  POTTIER Francois authored Nov 06, 2014
  
  31016daf
- Shell hack to find TLC in a hard-coded list of directories. · 0e7a87ae
  POTTIER Francois authored Nov 06, 2014
  
  0e7a87ae
- Shell hack to automatically find the git root. · 66e2ee90
  POTTIER Francois authored Nov 06, 2014
  
  66e2ee90
- Commented out the place that loops in CFDemos. · fb40295d
  POTTIER Francois authored Nov 06, 2014
  
  fb40295d
- Created .gitignore. · 98bb9a44
  POTTIER Francois authored Nov 06, 2014
  
  98bb9a44
- Renamed/moved some directories. · b10c6639
  POTTIER Francois authored Nov 06, 2014
  
  b10c6639
05 Nov, 2014 6 commits
- Little fixes. · 8ce06229
  POTTIER Francois authored Nov 05, 2014
  
  8ce06229
- Tentative new set of Makefiles. Unfinished. · 69f772f7
  POTTIER Francois authored Nov 05, 2014
  
  69f772f7
- New Makefile for the generator. · 050b32ce
  POTTIER Francois authored Nov 05, 2014
  
  050b32ce
- Test commit. Fixing a typo in a message. · e03a94dd
  POTTIER Francois authored Nov 05, 2014
  
  e03a94dd
- makefile broken · 37795e5c
  charguer authored Nov 05, 2014
  
  37795e5c
- init · d78d2472
  charguer authored Nov 05, 2014
  
  d78d2472