issues
search
flathub
/
org.lamport.tla.toolbox
https://flathub.org/apps/details/org.lamport.tla.toolbox
2
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Flatpak app of TLA+ Toolbox cannot find pdflatex (not in sandbox)
#29
cmsmcq
opened
1 year ago
1
Bump runtime to 22.08
#28
bbhtt
closed
1 year ago
24
Update TLAToolbox-1.7.1-linux.gtk.x86_64.zip to 1.7.0
#27
flathubbot
closed
2 years ago
2
Update to 1.7.1
#26
jesmg
closed
3 years ago
8
Upgrade to 1.7.1
#25
lemmy
closed
3 years ago
3
Add support for texlive extension
#24
jsgf
closed
4 years ago
9
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#23
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#22
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#21
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#20
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#19
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#18
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#17
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#16
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#15
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#14
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#13
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#12
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#11
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#10
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#9
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#8
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#7
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#6
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#5
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#4
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#3
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.7.0-linux.gtk.x86_64.zip to 1.7.0
#2
flathubbot
closed
4 years ago
2
Update TLAToolbox-1.6.0-linux.gtk.x86_64.zip to 1.7.0
#1
flathubbot
closed
4 years ago
8