|
|
76093e7364
|
Make the map private.
|
2017-08-08 10:13:35 -07:00 |
|
|
|
9b37794d04
|
Add numerous documentation fixes.
|
2017-08-05 16:15:30 -07:00 |
|
|
|
b78707a0f4
|
Format code.
|
2017-08-04 13:20:57 -07:00 |
|
|
|
8891b04598
|
Add comments to all the pi-related stuff.
|
2017-08-04 11:24:07 -07:00 |
|
|
|
b06e9fcbee
|
Add attempt to find the number implementation from the class.
|
2017-08-03 22:16:08 -07:00 |
|
|
|
4fd30030f9
|
Make the promotion map protected and use classes.
|
2017-08-03 21:27:53 -07:00 |
|
|
|
8a79d0c2df
|
Add the number implementation to the plugin manager, and use it.
|
2017-08-03 21:05:25 -07:00 |
|
|
|
3f2c4ae249
|
Add a class that keeps track of the implementation information.
|
2017-08-03 20:50:53 -07:00 |
|
