Commits · master · Johannes Lenzen / FoSAP Formelsammlung

12 Aug, 2019 3 commits
- Fixed spelling mistake · eaae9155
  Johannes Lenzen authored Aug 12, 2019
  
  eaae9155
- Fixed math · f47a75c1
  Johannes Lenzen authored Aug 12, 2019
  
  f47a75c1
- Spelling mistake · 0fb1efcf
  Johannes Lenzen authored Aug 12, 2019
  
  0fb1efcf
10 Aug, 2019 1 commit
- Fixed spelling mistake · 9003976d
  Johannes Lenzen authored Aug 10, 2019
  
  9003976d
03 Aug, 2019 2 commits
- Fixed spelling mistake · f7f23b69
  Johannes Lenzen authored Aug 03, 2019
  
  f7f23b69
- Changed Pumping Lemma setence · d8c6685a
  Johannes Lenzen authored Aug 03, 2019
  
  d8c6685a
01 Aug, 2019 1 commit
- Update .gitlab-ci · be0b3327
  Johannes Lenzen authored Aug 01, 2019
```
Changed task names
```
  be0b3327
31 Jul, 2019 12 commits
- Update README.md · 5269e0cd
  Johannes Lenzen authored Jul 31, 2019
  
  5269e0cd
- Update README.md · ed0e0d76
  Johannes Lenzen authored Jul 31, 2019
```
Fixed spelling mistake
```
  ed0e0d76
- Gitlab ci deploy finalization · df197db2
  Johannes Lenzen authored Jul 31, 2019
  
  df197db2
- Gitlab ci deploy cleanup · f3880f5d
  Johannes Lenzen authored Jul 31, 2019
  
  f3880f5d
- Gitlab ci known host support · d85e4899
  Johannes Lenzen authored Jul 31, 2019
  
  d85e4899
- Gitlab CI fixing YAML String newline parse error 2 · de60e14e
  Johannes Lenzen authored Jul 31, 2019
  
  de60e14e
- Gitlab CI fixing YAML String newline parse error · ecbcdf9c
  Johannes Lenzen authored Jul 31, 2019
  
  ecbcdf9c
- Changed to new deploy server · 951343a6
  Johannes Lenzen authored Jul 31, 2019
  
  951343a6
- Bug fixes gitlab ci · 8231ea39
  Johannes Lenzen authored Jul 31, 2019
  
  8231ea39
- Added deploy support · 652f0d2d
  Johannes Lenzen authored Jul 31, 2019
  
  652f0d2d
- Finalizing petri nets · f4952425
  Johannes Lenzen authored Jul 31, 2019
  
  f4952425
- Started chapter synchronization · 78ef42a0
  Johannes Lenzen authored Jul 31, 2019
  
  78ef42a0
30 Jul, 2019 11 commits
- Update README.md · 7fecbf4b
  Johannes Lenzen authored Jul 30, 2019
  
  7fecbf4b
- Update README.md · 2ceeb111
  Johannes Lenzen authored Jul 30, 2019
  
  2ceeb111
- Changed gitlab ci integration · 970d659f
  Johannes Lenzen authored Jul 30, 2019
  
  970d659f
- Changed gitlab ci · d41d69e6
  Johannes Lenzen authored Jul 30, 2019
  
  d41d69e6
- Gitignore bug fixed · 3bc7ba00
  Johannes Lenzen authored Jul 30, 2019
  
  3bc7ba00
- Fixed gitlab ci error · 6f3b6cd6
  Johannes Lenzen authored Jul 30, 2019
  
  6f3b6cd6
- Fixed gitlab ci error · 91b42d38
  Johannes Lenzen authored Jul 30, 2019
  
  91b42d38
- Continued information gathering · df05c024
  Johannes Lenzen authored Jul 30, 2019
  
  df05c024
- Updated Readme · 30b762f3
  Johannes Lenzen authored Jul 30, 2019
  
  30b762f3
- Added gitlab ci integration · 6f985875
  Johannes Lenzen authored Jul 30, 2019
  
  6f985875
- Continued information gathering · 792aabd9
  Johannes Lenzen authored Jul 30, 2019
  
  792aabd9
29 Jul, 2019 1 commit
- Initial commit · 80494deb
  Johannes Lenzen authored Jul 29, 2019
  
  80494deb