Viewing all changes in revision 1140.
- Committer: lsaid
- Date: 2022-06-15 13:45:23 UTC
- mfrom: (1135.2.36 tapaal)
- Revision ID: lena.said@hotmail.com-20220615134523-cygkqd74gm3g0o4n
Merged with trunk
- files added:
- src/dk/aau/cs/TCTL/LTLANode.java
- src/dk/aau/cs/TCTL/LTLParsing
- tools/distribution-info
- tools/distribution-info/linux
- tools/distribution-info/mac
- tools/distribution-info/win
- files removed:
- src/dk/aau/cs/TCTL/CTLParsing/ParseException.java
- src/resources/SUMOParser
- src/resources/TCTLParser
- tools/img
- files renamed:
- src/resources/TCTLParser/TAPAALCTLQueryParser.jj => src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParser.jj
- src/resources/TCTLParser/TAPAALQueryParser.jj => src/dk/aau/cs/TCTL/Parsing/TAPAALQueryParser.jj
- src/resources/SUMOParser/SUMOParser.jj => src/dk/aau/cs/TCTL/SUMOParsing/SUMOParser.jj
- tools/launch4j-template.xml => tools/launch4j-config-archive/launch4j-template.xml
- tools/LICENSE.txt => tools/old/LICENSE.txt
- tools/Makefile => tools/old/Makefile
- tools/Makefile-mac => tools/old/Makefile-mac
- tools/Makefile-ubuntu => tools/old/Makefile-ubuntu
- tools/Makefile.org => tools/old/Makefile.org
- tools/branch-tapaal.sh => tools/old/branch-tapaal.sh
- tools/closeBugs.py => tools/old/closeBugs.py
- tools/createIcon.sh => tools/old/createIcon.sh
- tools/createRelease.sh => tools/old/createRelease.sh
- tools/install-tapaal.xml => tools/old/install-tapaal.xml
- tools/killallTAPAAL.sh => tools/old/killallTAPAAL.sh
- tools/run-script-mac-linux.sh => tools/old/run-script-mac-linux.sh
- tools/run-unix => tools/old/run-unix
- tools/scripts/ => tools/old/scripts/
- tools/shortcutSpec.xml => tools/old/shortcutSpec.xml
- files modified:
- build.gradle
expand all
collapse all
added
removed
src/resources/Images/Uncontrollable urgent transition.png
src/resources/Images/Urgent transition.png
src/resources/Images/icon.png
src/resources/Images/tapaal-icon.png
tools/img/icon.png
