Category:Formal methods tools: Difference between revisions

Content deleted Content added

Revision as of 14:19, 5 September 2007 edit RussBot (talk \| contribs) Bots 1,418,673 edits m Robot: moving pages out of redirected category ← Previous edit		Latest revision as of 23:54, 2 November 2021 edit undo JJMC89 bot III (talk \| contribs) Bots, Administrators 4,345,227 edits m Moving Category:Computer programming tools to Category:Programming tools per Wikipedia:Categories for discussion/Speedy
(One intermediate revision by one other user not shown)
Line 2: [[Category:Formal methods\|Tools]] [[Category:~~Development~~Programming tools]] ~~[[Category:Computer programming tools]]~~ [[Category:Mathematical software]]