Commits · main · MiKoMH / KWARC

15 Aug, 2022 1 commit
- draining · 6629917d
  Michael Kohlhase authored Aug 15, 2022
  
  6629917d
04 Jul, 2022 1 commit
- debugging · 9e5c9ac9
  Michael Kohlhase authored Jul 04, 2022
  
  9e5c9ac9
18 Jun, 2022 1 commit
- starting to disambigutate · 4c2a20d2
  Michael Kohlhase authored Jun 18, 2022
```
\blue
```
  4c2a20d2
25 May, 2022 1 commit
- fixes · 2e2f0e37
  Dennis Müller authored May 25, 2022
  
  2e2f0e37
03 May, 2022 1 commit
- ignorance · c8ee13a3
  Dennis Müller authored May 03, 2022
  
  c8ee13a3
09 Apr, 2022 1 commit
- fixing sTeX1-isms · e7929610
  Michael Kohlhase authored Apr 09, 2022
  
  e7929610
03 Apr, 2022 1 commit
- moved to MiKoMH/talks · 8f39f297
  Michael Kohlhase authored Apr 03, 2022
  
  8f39f297
30 Mar, 2022 1 commit
- fixes · b8ad1966
  Dennis Müller authored Mar 30, 2022
  
  b8ad1966
25 Feb, 2022 1 commit
- replacing mikoslides.cls with notesslides.cls since the former is no longer part of sTeX · 150eff1c
  Michael Kohlhase authored Feb 25, 2022
  
  150eff1c
21 Feb, 2022 2 commits
- optional argument for \symdef, \symdecl*, and \notation after the csname · bd99d0b4
  Michael Kohlhase authored Feb 21, 2022
  
  bd99d0b4
- draining · 5348eaec
  Michael Kohlhase authored Feb 21, 2022
  
  5348eaec
15 Feb, 2022 1 commit
- introducing ## instead of ## or a arguments · 12d05348
  Michael Kohlhase authored Feb 15, 2022
  
  12d05348
13 Feb, 2022 2 commits
- \begin/\end{module} --> {smodule} · 0c5bcd42
  Michael Kohlhase authored Feb 13, 2022
  
  0c5bcd42
- draining · 387ac0cf
  Michael Kohlhase authored Feb 13, 2022
  
  387ac0cf
11 Feb, 2022 1 commit
- getting rid of more WApersons · 79a29bf4
  Michael Kohlhase authored Feb 11, 2022
  
  79a29bf4
10 Feb, 2022 1 commit
- replacing {nomtext} by {nparagraph} · 8c3b8885
  Michael Kohlhase authored Feb 10, 2022
  
  8c3b8885
03 Feb, 2022 1 commit
- draining · 738ac582
  Michael Kohlhase authored Feb 03, 2022
  
  738ac582
23 Jan, 2022 2 commits
- sparagraph · 4487eacb
  Michael Kohlhase authored Jan 23, 2022
  
  4487eacb
- sdefinition, sassertion, and sexample · 997035a8
  Michael Kohlhase authored Jan 23, 2022
  
  997035a8
21 Jan, 2022 2 commits
- draining · 7cd96dac
  Michael Kohlhase authored Jan 21, 2022
  
  7cd96dac
- draining · cc4004a3
  Michael Kohlhase authored Jan 21, 2022
  
  cc4004a3
20 Jan, 2022 1 commit
- eliminating semantics.base.en.tex in favor of smglom/logic · 6a6e1d08
  Michael Kohlhase authored Jan 20, 2022
  
  6a6e1d08
06 Jan, 2022 1 commit
- preloading and debugging · d4e8fb60
  Michael Kohlhase authored Jan 06, 2022
  
  d4e8fb60
03 Jan, 2022 1 commit
- more \comp · c407b585
  Michael Kohlhase authored Jan 03, 2022
  
  c407b585
13 Dec, 2021 1 commit
- moredebugging · 846b3a74
  Michael Kohlhase authored Dec 13, 2021
  
  846b3a74
10 Dec, 2021 2 commits
- standardizing \definiendum and getting rid of loadmodules · 2c7b1adc
  Michael Kohlhase authored Dec 10, 2021
  
  2c7b1adc
- protected def in STEXexport instead of newcommand · 6ab9bc42
  Michael Kohlhase authored Dec 10, 2021
  
  6ab9bc42
04 Dec, 2021 1 commit
- more debugging · 535329b4
  Michael Kohlhase authored Dec 04, 2021
  
  535329b4
29 Nov, 2021 1 commit
- getting rid of double comp · 592c9ba7
  Michael Kohlhase authored Nov 29, 2021
  
  592c9ba7
28 Nov, 2021 1 commit
- taking care of all · bf328078
  Michael Kohlhase authored Nov 28, 2021
```
\abbrdef
```
  bf328078
27 Nov, 2021 3 commits
- fixing ${10} bugs · ac24f8c1
  Michael Kohlhase authored Nov 27, 2021
  
  ac24f8c1
- fixing precedences · d61b5a1e
  Michael Kohlhase authored Nov 27, 2021
  
  d61b5a1e
- draining · 363f3596
  Michael Kohlhase authored Nov 27, 2021
  
  363f3596
26 Nov, 2021 1 commit
- adjusting paths and debugging · 7ceec16f
  Michael Kohlhase authored Nov 26, 2021
  
  7ceec16f
25 Nov, 2021 2 commits
- removing old, redundant committed junk · e65bc556
  Michael Kohlhase authored Nov 25, 2021
  
  e65bc556
- more debug · 187d700f
  Michael Kohlhase authored Nov 25, 2021
  
  187d700f
24 Nov, 2021 1 commit
- draining · 3e1337d1
  Michael Kohlhase authored Nov 24, 2021
  
  3e1337d1
23 Nov, 2021 1 commit
- getting rid of mhinputref · 7fa22f91
  Michael Kohlhase authored Nov 23, 2021
  
  7fa22f91
22 Nov, 2021 2 commits
- all the usemodule as well · 548196dd
  Michael Kohlhase authored Nov 22, 2021
  
  548196dd
- symdecl* and importmhmodule (most; and with an error) · c58abd57
  Michael Kohlhase authored Nov 22, 2021
  
  c58abd57