Revision 6ab8e41c - [client-extension] Mizar mapping service - SITools2 - IDOC Redmine

« Previous | Next »

Revision 6ab8e41c

Added by m.gond about 9 years ago

ID 6ab8e41c9b32b9908bbe3722bc429481e050e4e6
Parent e3200253
Child 3f5ac8c5

[client-extension] Mizar mapping service

Files

added
modified
copied
renamed
deleted

View differences

workspace
- client-extension-3.0
  - js
    - component
      - datasets
        services
        MizarMappingService.js (diff)
    - modules
      - MizarModule.js (diff)