]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/modules.ml
- new attributes system
[helm.git] / helm / software / helena / src / modules.ml
index 6f795219f271605536fca588af7e9f29859fe824..b0524922446194002ee7e1b3e4fbce5b402db7dc 100644 (file)
@@ -8,12 +8,12 @@ module W  = Share (**)
 module L  = Log
 module Y  = Time (**)
 
+module J  = Marks (**)
 module H  = Hierarchy
 module N  = Level
 module E  = Entity
 module G  = Options
 module O  = Output
-module J  = Marks (**)
 module R  = Alpha
 module Q  = Ccs
 module S  = Status