Subversion Repositories wimsdev

Last modification

• Rev 15440 2020-10-11 09:07:33
• Author: bpr

• Log message:

  [modind] add a structure revmod (confusion between serial and equivalence class of objects
  up to lang) - work in progress