Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/initialisation.mli

    r2601 r2649  
    2525open Identifiers
    2626
    27 open Floats
    28 
    2927open Integers
    3028
     
    4947open Pointers
    5048
     49open ErrorMessages
     50
    5151open Option
    5252
     
    5656
    5757open Positive
    58 
    59 open Char
    60 
    61 open String
    6258
    6359open PreIdentifiers
Note: See TracChangeset for help on using the changeset viewer.