Commits · 1d269650512db3e2d0eeb417e6a86aa0dbf9a65e · supervision / schaertl_andreas

May 04, 2020
- ulo: mkdir scripts · 1d269650
  Andreas Schärtl authored 4 years ago
  
  1d269650
Apr 28, 2020
- isabelle-prepare.sh: use python script to fix iris · f973e839
  Andreas Schärtl authored 4 years ago
  
  f973e839
- update isabelle-prepare to fix all characters · ea8b305b
  Andreas Schärtl authored 4 years ago
  
  ea8b305b
- isabelle-prepare: fix: use correct filename · e2687d3a
  Andreas Schärtl authored 4 years ago
  
  e2687d3a
- fork xz-to-gz script · c2813fcf
  Andreas Schärtl authored 4 years ago
  
  c2813fcf
Apr 27, 2020

- converts .xz files to .gz recursively

- graphdb wants .gz files; so there we go

1203f478