search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Configure auto-expand depth in Outline #38

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Depending on document structure, one may want to see more/less things expanded automatically in the Outline view.

Add some option to configure this? Or add better heuristics to determine how much to expand?