Merge requests · Eclipse Titan

Improving CLI applications

titan.EclipsePlug-ins!706 · created Jul 08, 2021 by Adam Knapp
Java Plug-ins
updated Jul 08, 2021
Splitting make clean command (issue #426)

titan.EclipsePlug-ins!712 · created Jul 09, 2021 by Adam Knapp
Java Plug-ins bug
updated Jul 09, 2021
RAW CROSSTAG OTHERWISE correction (issue #431)

titan.EclipsePlug-ins!740 · created Jul 22, 2021 by Adam Knapp
Java Plug-ins
updated Jul 22, 2021
JSON CROSSTAG OTHERWISE correction (issue #431)

titan.EclipsePlug-ins!743 · created Jul 22, 2021 by Adam Knapp
Java Plug-ins
updated Jul 29, 2021
Some improvements of the executor and fix of the timestamp bug

titan.EclipsePlug-ins!758 · created Jul 29, 2021 by Adam Knapp
Java Plug-ins
updated Jul 30, 2021
Dynamic matching semantic check improvements #413

titan.EclipsePlug-ins!796 · created Sep 13, 2021 by Adam Knapp
Java Plug-ins
- Merged
updated Sep 14, 2021
Java version uplift to 1.8 (issue #463)

titan.EclipsePlug-ins!1019 · created Feb 09, 2022 by Adam Knapp
Java Plug-ins
- Merged
updated Feb 09, 2022