tram with new API
This commit is contained in:
1 parent
5766d566a8
commit
8ee11c0e7e
5 files changed
+92
No files matched your search
@@ -0,0 +1,5 @@
|
||||
--# -path=.:resource-1.0/abstract:resource-1.0/common:resource-1.0/multimodal:resource-1.0/english:prelude
|
||||
|
||||
concrete TramEng of Tram = TramI with
|
||||
(Multimodal = MultimodalEng),
|
||||
(Math = MathEng) ;
|
||||
Reference in new issue
Block a user