All public logs
Combined display of all available logs of LRDE. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 19:59, 27 June 2019 Bot talk contribs created page Publications/valais.19.seminar (Created page with "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2019 | number = 1914 | abstract = The Common Lisp language provides a pr...")
- 19:54, 27 June 2019 Bot talk contribs deleted page Publications/valais.19.seminar (content was: "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2019 | number = 1914 | abstract = The Commo...", and the only contributor was "Bot" (talk))
- 18:34, 27 June 2019 Bot talk contribs created page Publications/valais.19.seminar (Created page with "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2019 | number = 1914 | abstract = The Common Lisp language provides a pr...")
- 18:26, 27 June 2019 Bot talk contribs deleted page Publications/valais.19.seminar (content was: "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2019 | number = 1914 | abstract = The Commo...", and the only contributor was "Bot" (talk))
- 18:23, 27 June 2019 Bot talk contribs created page Publications/valais.19.seminar (Created page with "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2019 | number = 1914 | abstract = The Common Lisp language provides a pr...")