Snippets Groups Projects

tlatools

Set last-changed dates on all projects in preparation of the upcoming

Markus Alexander Kuppe authored Oct 6, 2017

1.5.4 release.

[Build]

14252e90

14252e90 Oct 6, 2017

Name	Last commit	Last update
examples
general
org.lamport.tla.distributed.consumer
org.lamport.tla.toolbox.doc
org.lamport.tla.toolbox.editor.basic
org.lamport.tla.toolbox.feature.base
org.lamport.tla.toolbox.feature.branding
org.lamport.tla.toolbox.feature.editor
org.lamport.tla.toolbox.feature.help
org.lamport.tla.toolbox.feature.jclouds
org.lamport.tla.toolbox.feature.jnlp
org.lamport.tla.toolbox.feature.prover
org.lamport.tla.toolbox.feature.standalone
org.lamport.tla.toolbox.feature.tla2tex
org.lamport.tla.toolbox.feature.tlc
org.lamport.tla.toolbox.jclouds
org.lamport.tla.toolbox.jnlp
org.lamport.tla.toolbox.p2repository
org.lamport.tla.toolbox.product.product
org.lamport.tla.toolbox.product.standalone
org.lamport.tla.toolbox.test
org.lamport.tla.toolbox.tool.prover
org.lamport.tla.toolbox.tool.tla2tex.uitest
org.lamport.tla.toolbox.tool.tla2tex
org.lamport.tla.toolbox.tool.tlc.test
org.lamport.tla.toolbox.tool.tlc.ui.test
org.lamport.tla.toolbox.tool.tlc.ui.uitest
org.lamport.tla.toolbox.tool.tlc.ui
org.lamport.tla.toolbox.tool.tlc
org.lamport.tla.toolbox.uitest
org.lamport.tla.toolbox
org.lamport.tlatools.api
org.lamport.tlatools.consumer.distributed
org.lamport.tlatools.feature
org.lamport.tlatools.impl.distributed
tlatools
.gitignore
.travis-settings.xml
.travis.yml
CONTRIBUTING.md
LICENSE
README.md
keystore
pom.xml

For more information, visit https://research.microsoft.com/en-us/um/people/lamport/tla/tla.html

Contributing

Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.

License

Copyright (c) 199?-2003 HP Corporation
Copyright (c) 2003-2017 Microsoft Corporation

Licensed under the MIT License