Category:Formal methods tools: Difference between revisions

Content deleted Content added

Revision as of 01:14, 19 December 2006 edit JonHarder (talk \| contribs) Extended confirmed users, Rollbackers 36,355 edits Usually shouldn't be in both cat and subcat. ← Previous edit		Latest revision as of 23:54, 2 November 2021 edit undo JJMC89 bot III (talk \| contribs) Bots, Administrators 4,344,803 edits m Moving Category:Computer programming tools to Category:Programming tools per Wikipedia:Categories for discussion/Speedy
(5 intermediate revisions by 4 users not shown)
Line 2: [[Category:Formal methods\|Tools]] [[Category:~~Development~~Programming tools]] [[Category:Mathematical software]]