1. Paweł Wieczorek
  2. MgrCoq

Commits

Paweł Wieczorek  committed f757e08

Fixes after renaming

  • Participants
  • Parent commits 7b271b8
  • Branches another_weird_rule

Comments (0)

Files changed (3)

File MAKE

View file
 Nbe/Model/LogRelTm.v
 Nbe/Model/LogRelSb/Def.v
 Nbe/Model/LogRelSb/BasicFacts.v
-Nbe/Model/LogRelSb/Fundamental/Helpers.v
-Nbe/Model/LogRelSb/Fundamental/WIP.v
+Nbe/Model/LogRelSb/Fundamental_Helpers.v
+Nbe/Model/LogRelSb/Fundamental_WIP.v
 Nbe/Model/LogRelSb/Fundamental.v
 Nbe/Model/LogRelSb/Id.v
 Nbe/Model/LogRelSb.v

File Makefile

View file
   Nbe/Model/LogRelTm.v\
   Nbe/Model/LogRelSb/Def.v\
   Nbe/Model/LogRelSb/BasicFacts.v\
-  Nbe/Model/LogRelSb/Fundamental/Helpers.v\
-  Nbe/Model/LogRelSb/Fundamental/WIP.v\
+  Nbe/Model/LogRelSb/Fundamental_Helpers.v\
+  Nbe/Model/LogRelSb/Fundamental_WIP.v\
   Nbe/Model/LogRelSb/Fundamental.v\
   Nbe/Model/LogRelSb/Id.v\
   Nbe/Model/LogRelSb.v\

File Nbe/Model/LogRelSb.v

View file
 
 Require Export Nbe.Model.LogRelSb.Def.
 Require Export Nbe.Model.LogRelSb.BasicFacts.
-Require Export Nbe.Model.LogRelSb.Fundamental.Helpers.
+Require Export Nbe.Model.LogRelSb.Fundamental_Helpers.
+Require Export Nbe.Model.LogRelSb.Fundamental_WIP.
 Require Export Nbe.Model.LogRelSb.Fundamental.
 Require Export Nbe.Model.LogRelSb.Id.