Special

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).

Logs
  • 18:00, 9 January 2018 Bot talk contribs deleted page Publications/lefortier.10.seminar (content was: "{{CSIReport | authors = Damien Lefortier | title = A new translation from LTL into TGBA in Spot | year = 2010 | abstract = Spot is a model checking library centered aroun..." (and the only contributor was "Bot"))
Retrieved from "https://www.lrde.epita.fr/wiki/Special:Log"