|
d10536155b
|
Make the map private.
|
2017-08-08 10:13:35 -07:00 |
|
|
3e39087fde
|
Add numerous documentation fixes.
|
2017-08-05 16:15:30 -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 |
|
|
34ae4b42c6
|
Add attempt to find the number implementation from the class.
|
2017-08-03 22:16:08 -07:00 |
|
|
b680215f57
|
Make the promotion map protected and use classes.
|
2017-08-03 21:27:53 -07:00 |
|
|
e6cc08043e
|
Add the number implementation to the plugin manager, and use it.
|
2017-08-03 21:05:25 -07:00 |
|
|
3e10ea223f
|
Add a class that keeps track of the implementation information.
|
2017-08-03 20:50:53 -07:00 |
|