Commits · master · ODK / math

22 Oct, 2020 1 commit
- \baseuri_is_deprecated · 90c86313
  Michael Kohlhase authored Oct 22, 2020
  
  90c86313
18 Oct, 2020 1 commit
- cleanup_gitignore · 385742ca
  Michael Kohlhase authored Oct 18, 2020
  
  385742ca
03 Oct, 2020 1 commit
- eliminating_input_localpaths_update_to_newest_sTeX · 2ee4892a
  Michael Kohlhase authored Oct 03, 2020
  
  2ee4892a
04 Dec, 2018 1 commit
- fixing_LaTeX · 80e20194
  Michael Kohlhase authored Dec 04, 2018
  
  80e20194
05 Apr, 2018 1 commit
- Automatically replace old LF symbols and delimiters · 61c8d5ce
  Tom Wiesing authored Apr 05, 2018
  
  61c8d5ce
15 Oct, 2017 1 commit
- changing_the_optional_value_of_\defi_and_friends_from_the_name_to_a_keyval_argument · 026e8ba4
  Michael Kohlhase authored Oct 15, 2017
  
  026e8ba4
31 Jul, 2017 1 commit
- updating · c303fa7f
  Michael Kohlhase authored Jul 31, 2017
  
  c303fa7f
07 Jul, 2017 1 commit
- fixing-trefi* · 40982f9e
  Michael Kohlhase authored Jul 07, 2017
  
  40982f9e
28 Jan, 2017 1 commit
- Merge branch 'master' of gl.mathhub.info:ODK/math · 2dfd6410
  Michael Kohlhase authored Jan 28, 2017
  
  2dfd6410
27 Jan, 2017 1 commit
- mailaddress · c4f39626
  Michael Kohlhase authored Jan 27, 2017
  
  c4f39626
26 Jan, 2017 3 commits
- renaming_arithmetics · 6bf776c1
  Michael Kohlhase authored Jan 26, 2017
  
  6bf776c1
- paralist · 20f58a5c
  Michael Kohlhase authored Jan 26, 2017
  
  20f58a5c
- Add readme.md · f7097fea
  Michael Kohlhase authored Jan 26, 2017
  
  f7097fea
09 Jan, 2017 1 commit
- fix/update · e1824274
  Dennis Müller authored Jan 09, 2017
  
  e1824274
11 Oct, 2016 1 commit
- addedn content and narration for algebra stuff · 593715b8
  Dennis Müller authored Oct 11, 2016
  
  593715b8
10 Oct, 2016 1 commit
- fixed namespaces · 6f8c8343
  Dennis Müller authored Oct 10, 2016
  
  6f8c8343
23 Aug, 2016 1 commit
- Add a from_record constructor to records · 70404d41
  Tom Wiesing authored Aug 23, 2016
  
  70404d41
18 Aug, 2016 1 commit
- updated using new foundation with subtyping etc · 786319fb
  Dennis Müller authored Aug 18, 2016
  
  786319fb
11 Jul, 2016 2 commits
- Minor change in namespace for FG abelian group · af577365
  Paul-Olivier Dehaye authored Jul 11, 2016
  
  af577365
- Removed generated files to test reproducibility · dc65a263
  Paul-Olivier Dehaye authored Jul 11, 2016
  
  dc65a263
01 Jul, 2016 4 commits
- no idea Merge branch 'master' of gl.mathhub.info:ODK/math · f91dd5dd
  Dennis Müller authored Jul 01, 2016
  
  f91dd5dd
- fixed error · 2bb2ef44
  Dennis Müller authored Jul 01, 2016
  
  2bb2ef44
- Added link to FG abelian group wikipedia · 2aa96976
  Paul-Olivier Dehaye authored Jul 01, 2016
  
  2aa96976
- Messing around w groups · d99716c8
  Paul-Olivier Dehaye authored Jul 01, 2016
  
  d99716c8
30 Jun, 2016 5 commits
- FG group · 9830bab7
  Paul-Olivier Dehaye authored Jul 01, 2016
  
  9830bab7
- Merge branch 'master' of gl.mathhub.info:ODK/math · abdf4820
  Paul-Olivier Dehaye authored Jun 30, 2016
  
  abdf4820
- move stex and groups · f7bf9252
  Paul-Olivier Dehaye authored Jun 30, 2016
  
  f7bf9252
- do not need to separate baseset and dom · b6c57e6b
  Michael Kohlhase authored Jun 30, 2016
  
  b6c57e6b
- Refactored algebra using new foundation · 8cbeb233
  Dennis Müller authored Jun 30, 2016
  
  8cbeb233
29 Jun, 2016 1 commit
- adding definition for abelian · 24b65c37
  Michael Kohlhase authored Jun 29, 2016
  
  24b65c37
26 May, 2016 3 commits
- "fixed" groups · 962e225d
  Dennis M authored May 26, 2016
  
  962e225d
- paths · 931062fb
  Dennis M authored May 26, 2016
  
  931062fb
- added groups · 5c1efa4f
  Dennis Müller authored May 26, 2016
  
  5c1efa4f
26 Apr, 2016 1 commit
- cleanup and update · 6007e1ef
  Dennis Müller authored Apr 26, 2016
  
  6007e1ef
25 Apr, 2016 2 commits
- Updated and cleaned up · d51f3c06
  Dennis Müller authored Apr 25, 2016
  
  d51f3c06
- Updated and cleaned up · da814f72
  Dennis Müller authored Apr 25, 2016
  
  da814f72
12 Feb, 2016 1 commit
- restricting the shorthands · 222500b3
  Michael Kohlhase authored Feb 12, 2016
  
  222500b3
27 Jan, 2016 3 commits
- bugfix · 6110d7ad
  Dennis Müller authored Jan 27, 2016
  
  6110d7ad
- Merge branch 'master' of gl.mathhub.info:ODK/math · 0b7f2cfa
  Michael Kohlhase authored Jan 27, 2016
  
  0b7f2cfa
- integrating John's comments · c7477c62
  Michael Kohlhase authored Jan 27, 2016
  
  c7477c62