Dennis Müller (95006f45) at 01 Oct 13:18
"added license"
Dennis Müller (000de972) at 01 Oct 13:18
"added license"
Dennis Müller (8e98a991) at 01 Oct 13:18
"added license"
Dennis Müller (86caf4ad) at 01 Oct 13:18
"added license"
Dennis Müller (4b80a996) at 01 Oct 13:18
"added license"
Dennis Müller (efd50240) at 01 Oct 12:38
"added license"
Dennis Müller (cd1085df) at 06 Feb 20:16
added url-base
Dennis Müller (d47c811d) at 06 Feb 20:16
added url-base
Dennis Müller (7f4d601e) at 06 Feb 20:15
added url-base
Dennis Müller (b03a0fe8) at 06 Feb 20:15
added url-base
Michael Kohlhase (bda3705b) at 08 Nov 14:15
eliminated double BF module
Michael Kohlhase (dd2e4d98) at 10 Oct 16:31
renaming mikoconvenicence.sty to mikoconvenience.tex
Michael Kohlhase (ca62f659) at 10 Oct 13:27
libinput for mikoconvenience.sty
Michael Kohlhase (e83dda46) at 10 Oct 12:22
moving mikoconvenience.sty to MiKoMH/meta-inf`
This issue continues an issue that I initially raised on the MMT tracker but seems to be better suited here. @Jazzpirate said that the instructions for setup here appear to be outdated so it would be good to either update this documentation or add pointers to a more up to date tutorial. https://github.com/UniFormal/MMT/issues/582#issuecomment-1720070261
Michael Kohlhase (12d94c08) at 16 May 06:40
removing obsolete .gitkeep files
Michael Kohlhase (a3c8534a) at 10 May 07:37
more about logic-based agents
Michael Kohlhase (056dc4ea) at 03 May 06:30
dependencies re-generated
Michael Kohlhase (ba22cf12) at 03 May 06:30
dependencies re-generated
Michael Kohlhase (3690959a) at 01 May 12:47
reorganizing