Jakob Albert (6679a4b1) at 03 Jul 19:57
Add mws_harvest.harvest
Jakob Albert (7f4a5063) at 16 Aug 21:19
Sort narration.ndjson
This merge request includes the changes to the Math Archive that are necessary for narrative harvesting.
Jakob Albert (62bf1182) at 25 Jul 14:14
Add README with information given by the Mizar-Team
Adds the introductions received by mail from Adam Naumowicz on 2022-01-19.
As a merge request, I can not directly push to master and can not merge it by myself.
Jakob Albert (0c1e1c3d) at 29 Jun 13:33
Add Introductions
ColinRothgang (4a23cf9d) at 26 Oct 11:36
Update mizar-build.sh according to the renaming from testmml-net to...
ColinRothgang (77e84c4d) at 26 Oct 11:34
Update build.msl according to the renaming from testmml-net to MML
ColinRothgang (e47b5caf) at 28 Sep 16:01
/Merge branch 'master' of mathhub:Mizar/testmml-new
... and 1 more commit
ColinRothgang (654c6665) at 27 May 12:25
Fix link to paper in mmt-mizar.md
ColinRothgang (487485e2) at 27 May 12:24
Fixing links in mmt-mizar.md
ColinRothgang (2bffc010) at 27 May 11:53
Update mmt-mizar.md
ColinRothgang (88a88942) at 27 May 10:37
Update mmt-mizar.md
ColinRothgang (6733fd7f) at 27 May 10:36
Minor update of mmt-mizar.md
ColinRothgang (829d0aaf) at 27 May 10:32
Fix two links in mmt-mizar.md
ColinRothgang (12fa6c5b) at 25 May 11:35
Adding a markdown file describing the importer and its usage.
... and 1 more commit
arturkornilowicz (d750ad42) at 08 Apr 07:09
Numbers of superfluous arguments in redefinitions added to patterns...