You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: 9e87974ab1

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '9e87974ab1'

${ noResults }

prism-accumulation/prism/lib

History

Mark Kattenbelt 9e87974ab1 A general clean up of GUISimulator.java. This includes: more sensible layouts, more meaningfull names, fewer components. More consistent bordering. And some minor features such as disabling the time field when the auto checkbox is ticked, and setting the textfields of the remove preceding and backtrack to buttons. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@148 bbc10eb1-c90d-0410-af57-cb519fbb1720		19 years ago
..
pepa.zip	PRISM trunk layout rearrangement.	20 years ago