On 28 Apr 2023, at 11:31, Sara Zain <sara...@tu-dresden.de> wrote:
Hi! I just downloaded the TLA toolbox. However, I am getting this error "Parser error" notification. Can anyone help me, please? Also, I don't see a TLA module and directory path compare to what I see in the video tutorial.<Screenshot from 2023-04-28 11-31-09.png>--
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+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/f247500f-7679-4f68-8d62-920b5f2f945bn%40googlegroups.com.
<Screenshot from 2023-04-28 11-31-09.png>
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/d60e90ec-1339-4d45-9260-4f7cb183028cn%40googlegroups.com.
<Screenshot from 2023-05-08 16-48-43.png>
Hi Stephan,
may I know which variable you are referring to?
thank you!
Regards,
Sara
---------------
Dr. Sara Zain
Postdoctoral Research Associate
Technische Universität Dresden,
Dept. of Computer Science,
Systems Engineering Group.
Office: APB 3077
Phone: +49 351 463-42358
Website: https://tu-dresden.de/ing/informatik/sya/se/die-professur/beschaeftigte/sara_zain?set_language=en
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/e51ccec9cb234989a80188b356122b36%40tu-dresden.de.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/fd4f7b70-9b92-4fd2-a15e-d4d94f8c897dn%40googlegroups.com.