Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Typing -> Safe_typing | filliatr | 1999-12-01 |
* | ajouts divers pour module Printer | filliatr | 1999-11-26 |
* | MAJ pour fusion avec pretyping | herbelin | 1999-11-24 |
* | environnement sur | filliatr | 1999-08-26 |
* | - abstraction | filliatr | 1999-08-26 |
* | mach et himsg; typage sans extraction | filliatr | 1999-08-24 |
* | machine: execute = typage avec univers | filliatr | 1999-08-20 |
* | generic, term et evd | filliatr | 1999-08-17 |
* | ancien names decoupe en names + sign | filliatr | 1999-08-16 |