mCRL2 icon indicating copy to clipboard operation
mCRL2 copied to clipboard

Published 20 hours ago • verified publisher icon mCRL2org

Use consistent layout for progress indications

Open jgroote opened this issue 12 years ago • 4 comments

Issue migrated from trac ticket # 1088

component: pbes2bes | priority: minor

2012-10-04 15:20:13: @jkeiren created the issue

Currently the progress indications between lps2lts and, e.g., pbes2bes, differ in their presentations. These should be unified.

jgroote avatar Oct 04 '12 15:10 jgroote

2013-06-06 16:16:47: @jkeiren changed status from new to assigned

jgroote avatar Jun 06 '13 16:06 jgroote

2013-06-06 16:16:47: @jkeiren changed owner from timw to scranen

jgroote avatar Jun 06 '13 16:06 jgroote

2017-05-04 15:38:10: @wiegerw

jgroote avatar May 04 '17 15:05 jgroote

2017-05-29 17:13:33: @wiegerw changed owner from scranen to wieger

jgroote avatar May 29 '17 17:05 jgroote