search

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
696 stars 124 forks source link

Documentation Typo #125

Closed SanatBhandari closed 2 years ago

SanatBhandari commented 3 years ago

Hi,

I was going over the documentation and saw that the README says java version to check the latest version of Java to operate Alloy. However, it should be java -version which is the correct command.

It is a minor issue but something that would be beneficial for newbies.

Thanks!

pkriens commented 3 years ago

Just fix it on Github. This will send a PR? Is easier than an issue.

pkriens commented 2 years ago

fixed