Search results
From Event-B
Jump to navigationJump to searchCreate the page "Icon" on this wiki! See also the search results found.
Page title matches
- Template use to specify an icon: <nowiki>{{icon|iconname}}</nowiki>438 bytes (58 words) - 14:01, 12 December 2008
File:Project diagram icon s.png (16 × 16 (641 bytes)) - 20:49, 30 April 2020
Page text matches
- Template use to specify an icon: <nowiki>{{icon|iconname}}</nowiki>438 bytes (58 words) - 14:01, 12 December 2008
File:Applied.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/applied.gif [[Category:Icon]](16 × 16 (193 bytes)) - 20:49, 30 April 2020File:Discharged.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/discharged.gif [[Category:Icon]](16 × 16 (591 bytes)) - 20:49, 30 April 2020File:Discharged broken.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/discharged_broken.gif [[Category:Icon]](16 × 16 (321 bytes)) - 20:50, 30 April 2020File:Pending broken.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/pending_broken.gif [[Category:Icon]](16 × 16 (324 bytes)) - 20:50, 30 April 2020File:Reviewed broken.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/reviewed_broken.gif [[Category:Icon]](16 × 16 (571 bytes)) - 20:50, 30 April 2020File:Reviewed pale.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/reviewed_pale.gif [[Category:Icon]](16 × 16 (585 bytes)) - 20:49, 30 April 2020File:Ctx obj.gif Import of event-b.ui icon [[Category:Icon]](16 × 16 (590 bytes)) - 20:49, 30 April 2020File:Mch obj.gif Import of event-b.ui icon [[Category:Icon]](16 × 16 (607 bytes)) - 20:49, 30 April 2020File:Newcomp wiz.gif Import of event-b.ui icon [[Category:Icon]](16 × 16 (365 bytes)) - 20:50, 30 April 2020File:Newprj wiz.gif Import of event-b.ui icon [[Category:Icon]](16 × 16 (577 bytes)) - 20:49, 30 April 2020File:Newset edit.gif /home/clabaut/event-b/icons/newset_edit.gif Import of eventbui icon [[Category:Icon]](16 × 16 (90 bytes)) - 20:49, 30 April 2020File:Newthm edit.gif /home/clabaut/event-b/icons/newthm_edit.gif Import of eventbui icon [[Category:Icon]](16 × 16 (104 bytes)) - 20:49, 30 April 2020File:Remove.gif /home/clabaut/event-b/icons/remove.gif Import of eventbui icon [[Category:Icon]](16 × 16 (82 bytes)) - 20:49, 30 April 2020File:Add.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/add.gif [[Category:Icon]](16 × 16 (181 bytes)) - 20:49, 30 April 2020File:Ae prover.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/ae_prover.gif [[Category:Icon]](16 × 16 (313 bytes)) - 20:49, 30 April 2020File:AllD prover.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/allD_prover.gif [[Category:Icon]](16 × 16 (341 bytes)) - 20:50, 30 April 2020File:AllI prover.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/allI_prover.gif [[Category:Icon]](16 × 16 (341 bytes)) - 20:49, 30 April 2020File:Broom prover.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/ctool16/broom_prover.gif [[Category:Icon]](16 × 15 (547 bytes)) - 20:49, 30 April 2020File:Collapseall.gif Import of icon /home/clabaut/workspace/org.eventb.ui/icons/full/elcl16/collapseall.gif [[Category:Icon]](16 × 16 (157 bytes)) - 20:49, 30 April 2020