|
9d92d0eebb
|
Add registering documentation to plugins.
|
2017-08-08 13:49:04 -07:00 |
|
|
35254d3e99
|
Rename getPi to piFor.
|
2017-08-06 21:56:49 -07:00 |
|
|
44f018060d
|
Remove the useless caching in the plugin manager and the maps in plugins
|
2017-08-06 21:55:09 -07:00 |
|
|
39b36f84e0
|
Format code.
|
2017-08-04 13:20:57 -07:00 |
|
|
da602876e7
|
Add comments to all the pi-related stuff.
|
2017-08-04 11:24:07 -07:00 |
|
|
af56d31723
|
Implement a getPi function for the plugin, and use the new pi value.
|
2017-08-04 09:55:24 -07:00 |
|
|
e6cc08043e
|
Add the number implementation to the plugin manager, and use it.
|
2017-08-03 21:05:25 -07:00 |
|
|
44c52b412c
|
Remove old reference to the promotion system and the number class map.
|
2017-08-03 20:50:39 -07:00 |
|
|
0f02867a4e
|
Add the list of number interface providers to Plugins.
|
2017-08-03 14:10:04 -07:00 |
|
|
3ce74303ed
|
Format code.
|
2017-07-30 21:11:32 -07:00 |
|
|
43c11f8454
|
Move the source files into a new default directory.
|
2017-07-29 23:44:21 -07:00 |
|