Main public logs
From MaRDI portal
Combined display of all available logs of MaRDI portal. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 13:04, 30 May 2022 DavidNolte talk contribs created page Project:Weekly-20220530 (Created page with "== Basic Info == Attendees: Moritz, Tim, Olaf, Johannes, Larissa, David, (Eloi on vacation) Protocol by: David == Last week progress == Johannes: formula search progress (Presentation) * formulas are indexed directly, thus calling maintenance scripts is not required anymore in order to find new formulas * formula data base is made persistent via xml export cronjob; before data was only kept in memory David: * work on minor issues, e.g., Wiki permission errors * Lit...")