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.
Make empty file for TLA using a command and write "Hello World" into it, plus some debug text in the console when the tla command is run. Also added details about the command to the manual page displayed when the jar file is run
Make empty file for TLA using a command and write "Hello World" into it, plus some debug text in the console when the tla command is run. Also added details about the command to the manual page displayed when the jar file is run