Edithistory:Why3
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1182933475 | 2023-11-01T07:52:49Z | AnomieBOT | [[User:AnomieBOT/docs/TemplateSubster|Substing templates]]: {{Whichnote}}. See [[User:AnomieBOT/docs/TemplateSubster]] for info. |
| 1182928206 | 2023-11-01T06:56:03Z | Robert McClenon | Added {{[[Template:Improve categories|Improve categories]]}} and {{[[Template:Technical|Technical]]}} tags |
| 1182928095 | 2023-11-01T06:54:39Z | Robert McClenon | Declining submission: nn - Submission is about a topic not yet shown to meet general notability guidelines (be more specific if possible) ([[WP:AFCH|AFCH]] 0.9.1) |
| 1180871637 | 2023-10-19T10:21:52Z | CMarche | removing under construction tag |
| 1180398784 | 2023-10-16T11:30:07Z | Johannes Maximilian | Commenting on submission ([[WP:AFCH|AFCH]] 0.9.1) |
| 1175981627 | 2023-09-18T17:57:36Z | Citation bot | Alter: title, pages. Add: s2cid. Formatted [[WP:ENDASH|dashes]]. | [[:en:WP:UCB|Use this bot]]. [[:en:WP:DBUG|Report bugs]]. | Suggested by Awkwafaba | #UCB_webform 115/128 |
| 1175920082 | 2023-09-18T08:29:02Z | FrescoBot | Bot: [[User:FrescoBot/Links|link syntax]] and minor changes |
| 1160314653 | 2023-06-15T18:01:21Z | DannyS712 bot | Task 3: Disable the categories on this page while it is still a draft, per [[WP:DRAFTNOCAT]]/[[WP:USERNOCAT]] |
| 1160299092 | 2023-06-15T15:44:30Z | CMarche | Submitting using [[WP:AFCSW|AfC-submit-wizard]] |
| 1160298208 | 2023-06-15T15:37:49Z | CMarche | add more links, rephrasing |
| 1160076861 | 2023-06-14T08:30:41Z | CMarche | put external links as reference notes |
| 1160074858 | 2023-06-14T08:09:45Z | CMarche | /* Proving a program */ suntax highlighting |
| 1160074787 | 2023-06-14T08:08:39Z | CMarche | /* Checking validity of a logic formula */ syntax highlighting |
| 1159907559 | 2023-06-13T08:28:23Z | CMarche | Suppressed superfluous empty lines |
| 1159907347 | 2023-06-13T08:25:38Z | CMarche | Add a paragraph on underlying theoretical foundations |
| 1159776430 | 2023-06-12T13:19:06Z | CMarche | add ref to use of Why3 in education |
| 1159775401 | 2023-06-12T13:09:09Z | CMarche | details ref 4 |
| 1159774421 | 2023-06-12T13:00:14Z | CMarche | Add more references, fix a few typos |
| 1159316660 | 2023-06-09T15:56:44Z | CMarche | -- Draft creation using the [[WP:Article wizard]] -- |
