Skip to content

Tags: AlloyTools/org.alloytools.alloy

Tags

v6.3.0-begin

Final cleanup for draft 6.2.0

v6.2.0

Final cleanup for draft 6.2.0

v6.1.0

Native loading

latest

Different version

release

See if we get icons

jdeploy

See if we get icons

v6.0.0

release 6.0.0

v5.1.0

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[r5.1.0] preps (#88)

* [r5.1.0] preps

* [default command] Make it expect a solution

v5.0.0BETA5

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
[graphics] Better font selection and no superscripts on Windows (#46)

Fixes complaint that the superscripts in the atom names in the table view do not show properly on
windows.

Will now show the good old ‘$’ on windows …

(And maybe we should also do this on others …)

v5.0.0.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Git ignore .classpath and .project Eclipse meta-information files (#44)

* Git ignore .classpath and .project Eclipse meta-information files

* Add newline at the end of file