100644 blob 580f8006cabe0a2495dc574490b835ce695dacd2	FormalMLUiModule.xtend
040000 tree 9f3120601b347d2a3aab43f93edfa393ad3c5a39	contentassist
040000 tree 2b938cd34dc89af14ce745c259fb642ac432fc09	hover
040000 tree b29b854cb43500ae25b4071cb97e0b348a62fded	labeling
040000 tree 68f8b8defe4848994b44e6ac20c4e63d29998883	outline
040000 tree 5c9f9fa94646545e5389f0994f1ffd9a83ac9a7b	quickfix