changed the typewriter-font to inconsolata-g

karlstroetmann / Logic

Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispiele sind in der Sprache Python implementiert.

MIT License

31 stars 30 forks source link

changed the typewriter-font to inconsolata-g #20

Closed LucaVazz closed 8 years ago

LucaVazz commented 8 years ago

For the detailed reasoning look here.

karlstroetmann commented 8 years ago

Besten Dank!