Commits · master · ODK / math

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