diff --git a/de.prob.eventb.disprover.ui/about.ini b/de.prob.eventb.disprover.ui/about.ini index 80573c6a00ea85cf65087c472ff8947b74f22194..db4b4b6f8dd2e4b63afc62c2b53f3766a0f725e3 100644 --- a/de.prob.eventb.disprover.ui/about.ini +++ b/de.prob.eventb.disprover.ui/about.ini @@ -1,2 +1,2 @@ aboutText=ProB Disprover (c) 2009-2024 https://prob.hhu.de/w/ -featureImage=icons/feature.png +featureImage=icons/prob32.png diff --git a/de.prob.eventb.disprover.ui/icons/feature.png b/de.prob.eventb.disprover.ui/icons/feature.png deleted file mode 100644 index 6e7f53357533b567f2d1d1b9e0bb3ebe072aa2d9..0000000000000000000000000000000000000000 Binary files a/de.prob.eventb.disprover.ui/icons/feature.png and /dev/null differ diff --git a/de.prob.eventb.disprover.ui/icons/prob32.png b/de.prob.eventb.disprover.ui/icons/prob32.png new file mode 100644 index 0000000000000000000000000000000000000000..25e1873180117fc35e3ac43adde791fd14cb8fd7 Binary files /dev/null and b/de.prob.eventb.disprover.ui/icons/prob32.png differ diff --git a/de.prob.symbolic/about.ini b/de.prob.symbolic/about.ini index 035e39a5c6e1d13ba4003262ca17024c15f90c4f..c63bd3114090e1361f308b6d1f06d5698114ad4f 100644 --- a/de.prob.symbolic/about.ini +++ b/de.prob.symbolic/about.ini @@ -1 +1,2 @@ aboutText=ProB Symbolic Evaluation Support (c) 2013-2024 https://prob.hhu.de/w/ +featureImage=icons/prob32.png diff --git a/de.prob.symbolic/build.properties b/de.prob.symbolic/build.properties index 87749ea86094ca59c5c992d39720920dc3626873..94340bd457d49d874f04e79f5f20c930891368de 100644 --- a/de.prob.symbolic/build.properties +++ b/de.prob.symbolic/build.properties @@ -2,5 +2,6 @@ source.. = src/ output.. = bin/ bin.includes = META-INF/,\ .,\ + icons/,\ about.ini,\ plugin.xml diff --git a/de.prob.symbolic/icons/prob32.png b/de.prob.symbolic/icons/prob32.png new file mode 100644 index 0000000000000000000000000000000000000000..25e1873180117fc35e3ac43adde791fd14cb8fd7 Binary files /dev/null and b/de.prob.symbolic/icons/prob32.png differ diff --git a/de.prob.ui/about.ini b/de.prob.ui/about.ini index a2883d793cf53ae33347f9ee05a69964a5453173..4ded1895a5ad115ec6026a29f262dc2751323d55 100644 --- a/de.prob.ui/about.ini +++ b/de.prob.ui/about.ini @@ -1,2 +1,2 @@ aboutText=ProB Animator (c) 2005-2024 https://prob.hhu.de/w/ -featureImage=icons/prob.png +featureImage=icons/prob32.png diff --git a/de.prob.ui/icons/prob32.png b/de.prob.ui/icons/prob32.png new file mode 100644 index 0000000000000000000000000000000000000000..25e1873180117fc35e3ac43adde791fd14cb8fd7 Binary files /dev/null and b/de.prob.ui/icons/prob32.png differ