[Club2] Aktualisierte Einladung: Isabelle/VSCode: Editor Improvements and Prover IDE integ... - Mi 25. Aug. 2021 14:00 - 14:30 (MESZ) (club2 at mailbroy.informatik.tu-muenchen.de)
piller at in.tum.de
piller at in.tum.de
Mon Aug 16 07:30:30 CEST 2021
Dieser Termin wurde geändert.
Titel: Isabelle/VSCode: Editor Improvements and Prover IDE integrations
Speaker: Denis PalucaType: Bachelor's Thesis
Presentation Abstract: In the past few years, Visual Studio Code
has risen tremendously inpopularity. Therefore, many development tools and
programming languages seek toprovide extensions for it. For
theinteractive theorem prover Isabelle, an extension has already been
introduced.But, this extension is still not on par with Isabelle/jEdit, the
default choicefor users when it comes to working with Isabelle. This is due
to issues withmathematical symbols, input methods, and partially missing
markup. In thisthesis, we improved Isabelle/VSCode by reworking it to mend
the above-mentionedissues. To do this, we implemented a new file system for
the extension, addedsupport for abbreviations and auto-completion, and
added syntax highlightingfor panels. Evaluation of the extension before and
after the changes shows clearlythat performance has been improved. Now,
users do not have to wait 20 seconds everytimethey open a new theory file.
Based on this, the extension has been brought closerto being a valid
alternative to Isabelle/jEdit. (geändert)
Wann: Mi 25. Aug. 2021 14:00 – 14:30 Mitteleuropäische Zeit - Berlin
Wo: https://tinyurl.com/ls21coffee
Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
* piller at in.tum.de- Veranstalter
* makarius at sketis.net
* club2 at mailbroy.informatik.tu-muenchen.de
* ge37dem at mytum.de
* rs2040 at york.ac.uk
* nime81 at gmail.com
Termininformationen:
https://calendar.google.com/calendar/event?action=VIEW&eid=MmI4amVoN2NqODh1cnBmbXNidms0bG45NWcgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTBmODQ0ZTczNzNlNzVkNTBjODNlNzM0OTIxNWQyZjE3YWQ5NDAxZWY&ctz=Europe%2FBerlin&hl=de&es=0
Einladung von Google Kalender: https://calendar.google.com/calendar/
Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,
da Sie ein Gast bei diesem Termin sind.
Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem
Termin zu erhalten. Sie können auch unter
https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre
Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.
Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210816/340292c2/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 3201 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210816/340292c2/attachment-0001.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 3259 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210816/340292c2/attachment-0001.bin>
More information about the Club2
mailing list