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

[tlaplus] Re: Installing Ulpian Release on Ubunte Machine

From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
Date: Sun, 28 Apr 2024 07:19:44 -0700 (PDT)
References: <7fa8ae73-a319-4549-9d2a-61995303c264n@googlegroups.com>

What have you tried to do and how has it not worked? For this kind of tech support people are usually willing to put in as much effort to help you as they see you putting in to making it work :)

Andrew Helwer

On Friday, April 26, 2024 at 6:27:00 PM UTC-4 marta zhango wrote:

Have downloaded the Ulpian Release to an Ubuntu Machine from

https://github.com/tlaplus/tlaplus/releases/

How do I install the thing ?

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/abd3324d-9513-4d16-be5e-7c42716f41edn%40googlegroups.com.

References:
- [tlaplus] Installing Ulpian Release on Ubunte Machine
  - From: marta zhango

Prev by Date: Re: [tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs
Next by Date: [tlaplus] Compatibility breakage: anybody still running the tools on Java 8?
Previous by thread: [tlaplus] Installing Ulpian Release on Ubunte Machine
Next by thread: [tlaplus] TLA+ for testing computational algorithms rather than verify mathematical proofs
Index(es):
- Date
- Thread