sTeX activity https://gl.mathhub.info/sTeX 2026-02-13T10:29:51Z tag:gl.mathhub.info,2026-02-13:72283 Michael Kohlhase pushed to project branch main at sTeX / Documentation 2026-02-13T10:29:51Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (6bf73b2c) at 13 Feb 10:29

symbol name warning.

 tag:gl.mathhub.info,2025-12-07:70637 Michael Kohlhase pushed to project branch main at sTeX / Documentation 2025-12-07T14:21:44Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (d8230eaf) at 07 Dec 14:21

fixes

 tag:gl.mathhub.info,2025-12-07:70627 Michael Kohlhase pushed to project branch main at sTeX / Documentation 2025-12-07T14:10:36Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (f7f98e1d) at 07 Dec 14:10

fixes

 tag:gl.mathhub.info,2025-12-04:70531 Michael Kohlhase pushed to project branch main at sTeX / ComputerScience / Software 2025-12-04T06:27:52Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (33efea0b) at 04 Dec 06:27

fixes and annoations

 tag:gl.mathhub.info,2025-11-30:70365 Michael Kohlhase pushed to project branch main at sTeX / MathTutorial 2025-11-30T16:23:48Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (f8ce049e) at 30 Nov 16:23

disambiguation

 tag:gl.mathhub.info,2025-11-30:70347 Michael Kohlhase pushed to project branch main at sTeX / Documentation 2025-11-30T10:24:13Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (5c9fcb8a) at 30 Nov 10:24

completed

 tag:gl.mathhub.info,2025-11-30:70346 Michael Kohlhase pushed to project branch main at sTeX / Documentation 2025-11-30T08:18:19Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (9b9ace55) at 30 Nov 08:18

more

 tag:gl.mathhub.info,2025-11-29:70321 Michael Kohlhase pushed to project branch main at sTeX / Documentation 2025-11-29T14:25:41Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (0c5abe68) at 29 Nov 14:25

more

... and 1 more commit

tag:gl.mathhub.info,2025-11-26:70119 Michael Kohlhase pushed to project branch main at sTeX / Algebra / meta-inf 2025-11-26T08:05:48Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (6d3ceb97) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70118 Michael Kohlhase pushed to project branch main at sTeX / Algebra / General 2025-11-26T08:05:48Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (1e70d850) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70117 Michael Kohlhase pushed to project branch main at sTeX / CategoryTheory 2025-11-26T08:05:48Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (278cece8) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70116 Michael Kohlhase pushed to project branch main at sTeX / ComputerScience / meta-inf 2025-11-26T08:05:47Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (ab777657) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70115 Michael Kohlhase pushed to project branch main at sTeX / meta-inf 2025-11-26T08:05:47Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (326e4a0b) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70114 Michael Kohlhase pushed to project branch main at sTeX / Logic / TypeTheory 2025-11-26T08:05:47Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (e7508060) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70113 Michael Kohlhase pushed to project branch main at sTeX / MathTutorial 2025-11-26T08:05:47Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (90b3f172) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70112 Michael Kohlhase pushed to project branch main at sTeX / Logic / meta-inf 2025-11-26T08:05:47Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (c64ec639) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70111 Michael Kohlhase pushed to project branch main at sTeX / Logic / General 2025-11-26T08:05:46Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (2dc23ab9) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70110 Michael Kohlhase pushed to project branch main at sTeX / MathBase / Sets 2025-11-26T08:05:45Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (5babc223) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70109 Michael Kohlhase pushed to project branch main at sTeX / MathBase / Functions 2025-11-26T08:05:45Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (f3f3286f) at 26 Nov 08:05

MANIFEST cleanup

 tag:gl.mathhub.info,2025-11-26:70108 Michael Kohlhase pushed to project branch main at sTeX / MathBase / General 2025-11-26T08:05:45Z mkohlhase Michael Kohlhase [email protected]

Michael Kohlhase (d936acd5) at 26 Nov 08:05

MANIFEST cleanup