• Andrei Paskevich's avatar
    Reworking tags and transformations, stage 3: · dd3aac24
    Andrei Paskevich authored
    - everything is converted to the new shiny way of doing things.
      Well, everything except Gappa, which seems very unifinished anyway,
      and Encoding_instantiate, which is too complex and would like to 
      update it with François.
    
    Also, I commented a little piece of exception reporting in manager/,
    will see it with Claude.
    
    THIS IS STILL A WORK IN PROGRESS!
    Please inform me about any bugs, ugly APIs, and proposed corrections.
    
    All the non-implemented things, mentioned in the previous commit
    message are still in the TODO list and will be done soon.
    dd3aac24
Name
Last commit
Last update
..
decl.ml Loading commit data...
decl.mli Loading commit data...
env.ml Loading commit data...
env.mli Loading commit data...
ident.ml Loading commit data...
ident.mli Loading commit data...
pattern.ml Loading commit data...
pattern.mli Loading commit data...
pretty.ml Loading commit data...
pretty.mli Loading commit data...
printer.ml Loading commit data...
printer.mli Loading commit data...
task.ml Loading commit data...
task.mli Loading commit data...
term.ml Loading commit data...
term.mli Loading commit data...
theory.ml Loading commit data...
theory.mli Loading commit data...
trans.ml Loading commit data...
trans.mli Loading commit data...
ty.ml Loading commit data...
ty.mli Loading commit data...