[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ Toolbox installation problem

From: Bilal Mustafa <mustafa...@xxxxxxxxx>
Date: Thu, 6 Jul 2017 15:08:31 -0700 (PDT)
References: <2d141be7-0b04-46f6-8254-5b91555ef414@googlegroups.com>

Hey Markus! Thanks a lot for your help! I had 32-bit java while my PC is 64-bit so I installed the 64-bit version and it worked :)

Thanks again!

Regards,

Bilal

References:
- TLA+ Toolbox installation problem
  - From: Bilal Mustafa

Prev by Date: Re: [tlaplus] TLA+ Toolbox installation problem
Next by Date: TLC choose a new unique element everytime
Previous by thread: Re: [tlaplus] TLA+ Toolbox installation problem
Next by thread: TLA+ Toolbox installation problem
Index(es):
- Date
- Thread