Skip to content
Snippets Groups Projects
Select Git revision
  • db5ed5263ceef6800a7ffc2558712438f20a49c2
  • master default protected
  • towards_1.8.0
  • updateTLC
  • 1.1.0-stups
  • 1.0.2-stups
  • 1.0.1-stups
  • 1.0.0-stups
8 results

tlatools

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    "Load more" tree action has no visually indication when it is loading.
    Markus Alexander Kuppe authored 
    - Show BusyIndicator
- Add tool tip informing user to double-click
- Load more on CR key press
- Use icon (+) to differentiate from other tree items

[Bug][Toolbox]
    db5ed526
    History
    user avatar db5ed526
    History
    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.test
    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
    pom.xml