Joey Coleman

As a side note, for a post-September trigger, this relates to the idea of refactoring part of the typechecker into type system module. To be discussed by me, @lausdahl, @ldcouto,...

It looks like we can do this better by using the [OSGi Fragment](http://wiki.osgi.org/wiki/Fragment) mechanism; splitting the nested jars into a corresponding fragment.

This is now an open question — the current build structure, where we import the core jars directly into the eclipse bundles, has a number of flaws that we are...

> [Comment](https://sourceforge.net/p/overture/bugs/171/#d8a3) by [nick_battle](https://sourceforge.net/u/nick_battle/profile/), 2013-05-29 20:59:01.141000: Another example: at least in Linux, the Debug view defaults to _not_ having the debug icons showing (Resume, Step over, Step into etc). To...

> [Comment](https://sourceforge.net/p/overture/bugs/171/#491b) by [nick_battle](https://sourceforge.net/u/nick_battle/profile/), 2013-08-09 09:21:48.122000: - **Release**: v2.0.0beta2 --> v2.0.0beta4 - **Priority**: 5 --> 7

> [Comment](https://sourceforge.net/p/overture/bugs/171/#2659) by [nick_battle](https://sourceforge.net/u/nick_battle/profile/), 2013-08-09 09:21:48.657000: Also, in 2b4 there is a big gap to the left of the debug/run/external - between these and the print icon (in VDM perspective)....

> [Comment](https://sourceforge.net/p/overture/bugs/171/#8889) by [nick_battle](https://sourceforge.net/u/nick_battle/profile/), 2013-09-02 11:33:35.654000: Not convinced this is any better in beta 6

> [Comment](https://sourceforge.net/p/overture/bugs/171/#43bf) by [joeycoleman](https://sourceforge.net/u/joeycoleman/profile/), 2013-10-15 07:15:16.003000: - **assigned_to**: Peter Gorm Larsen

> [Comment](https://sourceforge.net/p/overture/bugs/171/#9935) by [joeycoleman](https://sourceforge.net/u/joeycoleman/profile/), 2013-10-15 07:15:17.730000: I'm assigning this to PGL, on the basis that before action can be taken in code, we have to first define what it should...

I've now assigned this to milestone 2.1.0, and tagged it as an enhancement. @pglvdm needs to drive this.