search

akleemans / cp-logic

Some tools for classical propositional logic - my bachelor thesis.
4 stars 0 forks source link

Fenstergrösse #3

Closed akleemans closed 10 years ago

akleemans commented 10 years ago

c) ich glaube es wäre gut wenn die Grösse des Fensters der Grösse des Beweisenbaums anpasst. Ich habe gemerkt dass die Fenstergrösse manchmal zu klein für das Beweisenbaum ist (ich weiss nicht ob das zu aufwendig ist...)

akleemans commented 10 years ago

Fenstergrösse kann angepasst werden.