AGAIN: Couldn't open modules which is an alloy module file as markdown style

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Other

717 stars 122 forks source link

AGAIN: Couldn't open modules which is an alloy module file as markdown style #57

Closed cutsea110 closed 6 years ago

cutsea110 commented 6 years ago

About Couldn't open modules which is an alloy module file as markdown style, the issue has been closed.

I've tried SNAPSHOT. But I got the same error.

Please reconfirm this patch. I guess the path "Util.jarPrefix() + "models/" is wrong, isn't it? I'd like to execute .md under my project directory.

pkriens commented 6 years ago

Give it another try ... now I actually tested it. :-(

cutsea110 commented 6 years ago

I checked new SNAPSHOT just now and confirmed that it works well. :-)

Thanks!

pkriens commented 6 years ago

thanks for confirming!