curry-frontend tagshttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags2021-10-26T21:04:41Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v2.1.0v2.1.0Kai Prottkai.prott@hotmail.dehttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/AbgabeMasterarbeitRobertKoehlerAbgabeMasterarbeitRobertKoehlerAbgabe der Masterarbeit von Robert Köhlerstu204146-kielhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/lkrueger-ma-thesislkrueger-ma-thesisStatus at the end of the master's thesis of Leif-Erik Krüger (26.10.2021)<p data-sourcepos="1:1-1:131" dir="auto">For the best compatibility, use this version of the Curry frontend together with PAKCS 3.4.1-b6, released on 22.10.2021 (or newer).</p>
<p data-sourcepos="3:1-3:192" dir="auto">It is recommended to (re-)compile PAKCS after switching the frontend, as the precompiled code for <code data-sourcepos="3:100-3:106">Prelude</code>, which is directly included in the <code data-sourcepos="3:145-3:149">pakcs</code> binary, contains outdated code otherwise.</p>2021-10-26T21:04:41Zstu204767https://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v2.0.0v2.0.0Release version 2.0.0Finn Teegenhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v1.0.4v1.0.4Release version 1.0.4Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v1.0.3v1.0.3Finn Teegenhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v1.0.2v1.0.2Finn Teegenhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v1.0.1v1.0.1Finn Teegenhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v1.0.0v1.0.0Version 1.0.0Finn Teegenhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v0.4.2v0.4.2Release 0.4.2Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v0.4.1v0.4.1Version 0.4.1Michael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v0.3.10v0.3.10Version 0.3.10Björn Peemöllerhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v0.3.9v0.3.9Version 0.3.9Björn Peemöllerhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/prototype-4prototype-4Matthias Böhmmboe@informatik.uni-kiel.dehttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/working-version-2-without-numeric-classesworking-version-2-without-numeric-classesMatthias Böhmmboe@informatik.uni-kiel.dehttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/working-version-1-without-Numeric-classesworking-version-1-without-Numeric-classesMatthias Böhmmboe@informatik.uni-kiel.dehttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v0.3.8v0.3.8Version 0.3.8Björn Peemöllerhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/v0.3.4v0.3.4Version 0.3.4Björn Peemöllerhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/thirdPrototypethirdPrototypeMatthias Böhmmboe@informatik.uni-kiel.dehttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/tags/secondPrototypesecondPrototypeMatthias Böhmmboe@informatik.uni-kiel.de