Commits · 074c66432a51fc84b7293783a771e0ee42ade126 · POTTIER Francois / menhir

16 Dec, 2014 4 commits
- Moved [read_whole_file] from [PreFront] to [IO]. · 051dd7f7
  POTTIER Francois authored Dec 16, 2014
  
  051dd7f7
- Removed [IO.winvoke]. · a73f953b
  POTTIER Francois authored Dec 16, 2014
  
  a73f953b
- Added [IO.moving_away]. · a8346a65
  POTTIER Francois authored Dec 16, 2014
  
  a8346a65
- Added [IO.try_finally]. · f4ed19bf
  POTTIER Francois authored Dec 16, 2014
  
  f4ed19bf
11 Dec, 2014 1 commit
- Updated [IO.exhaust]. · 852de855
  POTTIER Francois authored Dec 11, 2014
```
Modified [PreFront.read_whole_file] to use [IO.exhaust].
```
  852de855
04 Dec, 2014 1 commit
- Removed exhaust from IO.mli. · 794dd5ff
  POTTIER Francois authored Dec 04, 2014
  
  794dd5ff
01 Mar, 2013 1 commit

fpottier authored Mar 01, 2013


git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@320 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

8e9b54a3