Skip to content

Actions: UniMath/SymmetryBook

Actions

Build the book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latexmk.yml
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

some minor edits in groups and actions Build the book #737: Commit ab2cb2e pushed by UlrikBuchholtz
November 1, 2024 18:03 5m 12s master
master
November 1, 2024 18:03 5m 12s
new lem:E-preserves-symms Build the book #736: Commit 3798fde pushed by marcbezem
October 31, 2024 13:20 3m 26s master
master
October 31, 2024 13:20 3m 26s
reshuffling, 8.2.6 to 5.3 Build the book #735: Commit ff559de pushed by marcbezem
October 29, 2024 15:33 3m 53s master
master
October 29, 2024 15:33 3m 53s
wip up to 5.3.20 Build the book #734: Commit 733baff pushed by marcbezem
October 23, 2024 14:27 3m 32s master
master
October 23, 2024 14:27 3m 32s
wip 5.3 Build the book #733: Commit 1732352 pushed by marcbezem
October 16, 2024 18:38 3m 45s master
master
October 16, 2024 18:38 3m 45s
wip 5.3 Sub_G Build the book #732: Commit 01cc897 pushed by marcbezem
October 10, 2024 09:54 3m 52s master
master
October 10, 2024 09:54 3m 52s
minor in 5.2 Build the book #731: Commit 9384c7a pushed by marcbezem
October 3, 2024 13:00 3m 32s master
master
October 3, 2024 13:00 3m 32s
tiny Build the book #730: Commit f28b980 pushed by UlrikBuchholtz
October 1, 2024 11:42 3m 39s master
master
October 1, 2024 11:42 3m 39s
update Makefile Build the book #729: Commit a49de53 pushed by UlrikBuchholtz
October 1, 2024 11:38 3m 29s master
master
October 1, 2024 11:38 3m 29s
minor Build the book #728: Commit f099ab8 pushed by marcbezem
September 13, 2024 18:12 3m 47s master
master
September 13, 2024 18:12 3m 47s
move free groups to constructions chapter Build the book #727: Commit 8224cef pushed by UlrikBuchholtz
September 5, 2024 14:45 3m 35s master
master
September 5, 2024 14:45 3m 35s
remove x permission on group.tex Build the book #726: Commit 3c1438d pushed by UlrikBuchholtz
September 5, 2024 14:36 3m 50s master
master
September 5, 2024 14:36 3m 50s
better titles Build the book #725: Commit 21c22e1 pushed by UlrikBuchholtz
September 5, 2024 14:34 3m 47s master
master
September 5, 2024 14:34 3m 47s
partial work to move more things in place Build the book #724: Commit 0438ace pushed by UlrikBuchholtz
September 5, 2024 14:15 3m 33s master
master
September 5, 2024 14:15 3m 33s
trival group Aut_Prop(True) Build the book #723: Commit 8546527 pushed by marcbezem
September 5, 2024 08:10 3m 28s master
master
September 5, 2024 08:10 3m 28s
forgot to ADD the new files Build the book #722: Commit 1a03b4e pushed by UlrikBuchholtz
August 30, 2024 08:05 3m 45s master
master
August 30, 2024 08:05 3m 45s
first tiny edits post refactor Build the book #721: Commit 00ba718 pushed by UlrikBuchholtz
August 30, 2024 07:48 3m 14s master
master
August 30, 2024 07:48 3m 14s
BIG REFACTORING: ONLY THE MOVES, NO EDITS Build the book #720: Commit 1c17272 pushed by UlrikBuchholtz
August 30, 2024 07:48 3m 16s master
master
August 30, 2024 07:48 3m 16s
a pass through 4.8 Build the book #719: Commit 92b70e5 pushed by UlrikBuchholtz
August 29, 2024 11:32 3m 24s master
master
August 29, 2024 11:32 3m 24s
define alternating groups in 4.5 Build the book #718: Commit f48d2d9 pushed by UlrikBuchholtz
August 26, 2024 10:48 3m 29s master
master
August 26, 2024 10:48 3m 29s
Rem. 4.2.21 replaced by mn 8 Build the book #717: Commit cc479d3 pushed by marcbezem
August 25, 2024 09:43 3m 21s master
master
August 25, 2024 09:43 3m 21s
characterizing free and invariant elements Build the book #716: Commit 2c1abdf pushed by UlrikBuchholtz
August 25, 2024 07:19 3m 21s master
master
August 25, 2024 07:19 3m 21s
minor Build the book #715: Commit bc24ac2 pushed by UlrikBuchholtz
August 22, 2024 15:03 3m 26s master
master
August 22, 2024 15:03 3m 26s
going through sec. 4.7 (G-Sets) Build the book #714: Commit e216aeb pushed by UlrikBuchholtz
August 22, 2024 12:10 3m 37s master
master
August 22, 2024 12:10 3m 37s
xca:2-element-sets Build the book #713: Commit c0ce345 pushed by marcbezem
August 18, 2024 15:01 3m 18s master
master
August 18, 2024 15:01 3m 18s