User contributions for Int-y1

08:5208:52, 23 July 2024 diff hist +18‎ m Template:Unsolved ‎No edit summary
08:4608:46, 23 July 2024 diff hist +107‎ Skelet 1 ‎ add open problem
08:4108:41, 23 July 2024 diff hist +317‎ Template:Unsolved ‎ work around templatestyles
08:3008:30, 23 July 2024 diff hist +24‎ Template:Unsolved ‎No edit summary
08:2408:24, 23 July 2024 diff hist +631‎ N Template:Unsolved/styles.css ‎ Created page with "→‎{{pp-template}}: →‎Styles for "unsolved problem" summary: .unsolved { margin: 0.5em 0 1em 1em; border: #ccc solid; padding: 0.35em 0.35em 0.35em 2.2em; background-color: var(--background-color-interactive-subtle); background-image: url("https://upload.wikimedia.org/wikipedia/commons/2/26/Question%2C_Web_Fundamentals.svg"); background-position: top 50% left 0.35em; background-size: 1.5em; background-repeat: no-repeat; } @media (min-width: 720px) { .unsolv..."
08:1208:12, 23 July 2024 diff hist +233‎ N Template:Unsolved ‎ Created page with "<templatestyles src="Unsolved/styles.css" /> <div role="note" class="unsolved"> <div><span class="unsolved-label">Unsolved problem</span>:</div> <div class="unsolved-body">{{{1}}}</div> </div><noinclude> {{documentation}}</noinclude>"
07:5907:59, 23 July 2024 diff hist −1‎ Translated cycler ‎ don't claim that skelet 1 is the largest known example
03:4403:44, 23 July 2024 diff hist +208‎ Translated cycler ‎ add skelet 1 stats Tag: Visual edit: Switched
03:2903:29, 23 July 2024 diff hist +1,101‎ Translated cycler ‎ add description
03:0703:07, 23 July 2024 diff hist +755‎ N Translated cycler ‎ add image and caption
02:5802:58, 23 July 2024 diff hist 0‎ File:Translated cycler 44394115 annotated.svg ‎ Int-y1 uploaded a new version of File:Translated cycler 44394115 annotated.svg current
02:5202:52, 23 July 2024 diff hist 0‎ File:Translated cycler 44394115 annotated.svg ‎ Int-y1 uploaded a new version of File:Translated cycler 44394115 annotated.svg
02:4802:48, 23 July 2024 diff hist 0‎ N File:Translated cycler 44394115 annotated.svg ‎No edit summary
02:3102:31, 23 July 2024 diff hist −11‎ 1RB2LA0LA 2LC---2RA 0RA2RC1LC ‎ use a permalink to coq proof