adbrucker
/
ofmc-ui-ng
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Pls use utf8 :)

This commit is contained in:
nker 2022-12-16 11:50:26 +01:00
parent 3e336d4640
commit 107afcf3d4
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Controller/DiagramTab.java
View File

@ -3,7 +3,7 @@
*
* Open Source Fixedpoint Model-Checker Graphical User Interface version 2019
*
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Veronica Julie Lodskov Hoffmann 2019
*
* All Rights Reserved.

2
src/Controller/Highlighting.java
View File

@ -3,7 +3,7 @@
*
* Open Source Fixedpoint Model-Checker Graphical User Interface version 2019
*
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Veronica Julie Lodskov Hoffmann 2019
*
* All Rights Reserved.

2
src/Controller/ProtocolEditor.java
View File

@ -3,7 +3,7 @@
*
* Open Source Fixedpoint Model-Checker Graphical User Interface version 2019
*
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Veronica Julie Lodskov Hoffmann 2019
*
* All Rights Reserved.

2
src/Controller/SimpleTab.java
View File

@ -3,7 +3,7 @@
*
* Open Source Fixedpoint Model-Checker Graphical User Interface version 2019
*
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Veronica Julie Lodskov Hoffmann 2019
*
* All Rights Reserved.

2
src/Controller/TraceTab.java
View File

@ -3,7 +3,7 @@
*
* Open Source Fixedpoint Model-Checker Graphical User Interface version 2019
*
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Úlfur Jóhann Edvardsson 2019
* (C) Copyright Veronica Julie Lodskov Hoffmann 2019
*
* All Rights Reserved.