5 Commits

Author	SHA1	Message	Date
Danila Fedorin	8a79d0c2df	Add the number implementation to the plugin manager, and use it.	2017-08-03 21:05:25 -07:00
Danila Fedorin	542f062b5e	Remove old reference to the promotion system and the number class map.	2017-08-03 20:50:39 -07:00
Danila Fedorin	7dda1f2fcf	Add the list of number interface providers to Plugins.	2017-08-03 14:10:04 -07:00
Danila Fedorin	a278e5bb9a	Format code.	2017-07-30 21:11:32 -07:00
Danila Fedorin	bce469ec8d	Move the source files into a new default directory.	2017-07-29 23:44:21 -07:00