Вклад участника Clayrat

20 ноября 2022

• 14:1614:16, 20 ноября 2022 разн. история +156‎ Малиа, Мартин ‎ →‎Сочинения: оригинал статьи " Из-Под Глыб, Но Что?" Метка: через визуальный редактор

2 августа 2022

• 22:4722:47, 2 августа 2022 разн. история +115‎ Линеаризуемость ‎ →‎Преамбула: источники, викификация
• 22:4022:40, 2 августа 2022 разн. история +8‎ Линеаризуемость ‎ женские фамилии на согласную не склоняются Метка: через визуальный редактор

4 апреля 2022

• 11:3611:36, 4 апреля 2022 разн. история −2‎ Теорема Понтрягина — Куратовского ‎ орфография Метка: через визуальный редактор

1 ноября 2021

• 01:3401:34, 1 ноября 2021 разн. история +258‎ Торраматюр ‎ →‎Блюда Метка: через визуальный редактор

22 марта 2021

• 00:2500:25, 22 марта 2021 разн. история 0‎ Континентальная философия ‎ →‎Философские направления: стилевые правки Метка: визуальный редактор отключён

14 января 2021

• 23:2523:25, 14 января 2021 разн. история 0‎ Idris (язык программирования) ‎ →‎Idris 2 Метка: визуальный редактор отключён
• 23:2423:24, 14 января 2021 разн. история −2‎ Idris (язык программирования) ‎ →‎Idris 2 Метка: визуальный редактор отключён

20 октября 2020

• 02:1802:18, 20 октября 2020 разн. история +500‎ Светлогорский целлюлозно-картонный комбинат ‎ →‎Экология и происшествия Метка: визуальный редактор отключён

15 сентября 2020

• 10:4910:49, 15 сентября 2020 разн. история +22‎ Хасидизм ‎ →‎Хасиды в России Метка: визуальный редактор отключён

27 августа 2020

• 02:0102:01, 27 августа 2020 разн. история +1‎ Светлогорск (Белоруссия) ‎ →‎Гостиницы Метка: через визуальный редактор

17 августа 2020

• 12:1712:17, 17 августа 2020 разн. история +8‎ Idris (язык программирования) ‎ →‎Idris 2 Метка: визуальный редактор отключён

11 июня 2020

• 23:3623:36, 11 июня 2020 разн. история +59‎ Agda ‎Нет описания правки Метка: визуальный редактор отключён
• 23:2123:21, 11 июня 2020 разн. история +868‎ Гомотопическая теория типов ‎Нет описания правки

25 мая 2020

• 15:4115:41, 25 мая 2020 разн. история +195‎ Идрис (значения) ‎Нет описания правки
• 15:3315:33, 25 мая 2020 разн. история +1021‎ Idris (язык программирования) ‎ новый релиз, раздел об Idris2 Метка: визуальный редактор отключён

19 марта 2020

• 03:0503:05, 19 марта 2020 разн. история 0‎ Золотой ключик, или Приключения Буратино ‎ →‎Продолжения Метки: с мобильного устройства из мобильной версии

5 августа 2017

• 22:1722:17, 5 августа 2017 разн. история 0‎ м Idris (язык программирования) ‎Нет описания правки Метка: через визуальный редактор
• 22:1622:16, 5 августа 2017 разн. история +6‎ м Idris (язык программирования) ‎ новая версия Метка: через визуальный редактор

18 мая 2017

• 15:2415:24, 18 мая 2017 разн. история +178‎ Idris (язык программирования) ‎ Статья про компиляцию Idris-кода Метка: визуальный редактор отключён
• 15:1515:15, 18 мая 2017 разн. история +295‎ Idris (язык программирования) ‎ →‎Литература: Type-Driven Development with Idris Метка: через визуальный редактор
• 15:1115:11, 18 мая 2017 разн. история +526‎ Idris (язык программирования) ‎ Обновление до версии 1.0, уточнения и стилистика Метка: через визуальный редактор