Commit History

Author SHA1 Message Date
  Ivan Denisov d8cdb7e4ee add Paket packages manager 3 weeks ago
  Ivan Denisov 98500ff154 change UI, mark focus window by title color font, add color themes and document background to Preferences dialog, mark unsaved documents by circle 2 years ago
  Ivan Denisov 5b37f42a66 add Fig subsystem 2 years ago
  Ivan Denisov 8469887b46 script for making MDI Windows version 3 years ago