@@ -202,9 +202,9 @@ <h2 id="books">The Books</h2>
202202< td rowspan ="4 "> Developer tools</ td >
203203< td > < a href ="https://aryx.github.io/assets/pdfs/Principia-9.pdf "> Editor</ a > </ td >
204204< td > < a href ="https://github.com/aryx/principia-softwarica/tree/master/editors/ed "> ed</ a > </ td >
205- < td > 1600 </ td >
206- < td > 200 </ td >
207- < td bgcolor ="#ffc7ce "> 0.13 </ td >
205+ < td > 1597 </ td >
206+ < td > 668 </ td >
207+ < td bgcolor ="#ffeb9c "> 0.42 </ td >
208208< td > 45</ td >
209209< td > < a href ="https://aryx.github.io/assets/pdfs/Principia-9.pdf "> v1</ a > </ td >
210210</ tr >
@@ -287,23 +287,23 @@ <h2 id="books">The Books</h2>
287287< td > < a href ="https://aryx.github.io/assets/pdfs/Utilities-1.pdf "> v1</ a > </ td >
288288</ tr >
289289< tr >
290- < td > < a href ="https://aryx.github.io/assets/pdfs/Machine-3 .pdf "> Emulator</ a > </ td >
290+ < td > < a href ="https://aryx.github.io/assets/pdfs/Machine-4 .pdf "> Emulator</ a > </ td >
291291< td > < a href ="https://github.com/aryx/principia-softwarica/tree/master/machine/5i "> 5i</ a > </ td >
292- < td > 3168 </ td >
293- < td > 807 </ td >
294- < td bgcolor ="#ffc7ce "> 0.25 </ td >
295- < td > 116 </ td >
296- < td > < a href ="https://aryx.github.io/assets/pdfs/Machine-3 .pdf "> v3 </ a > </ td >
292+ < td > 3176 </ td >
293+ < td > 2281 </ td >
294+ < td bgcolor ="#c6efce "> 0.72 </ td >
295+ < td > 134 </ td >
296+ < td > < a href ="https://aryx.github.io/assets/pdfs/Machine-4 .pdf "> v4 </ a > </ td >
297297</ tr >
298298
299299< tr >
300300< td > </ td >
301301< td > < strong > Total</ strong > </ td >
302302< td > </ td >
303- < td > < strong > 186299 </ strong > </ td >
304- < td > < strong > 38926 </ strong > </ td >
305- < td > < strong > 0.21 </ strong > </ td >
306- < td > < strong > 4814 </ strong > </ td >
303+ < td > < strong > 186304 </ strong > </ td >
304+ < td > < strong > 40868 </ strong > </ td >
305+ < td > < strong > 0.22 </ strong > </ td >
306+ < td > < strong > 4832 </ strong > </ td >
307307< td > </ td >
308308</ tr >
309309</ table >
0 commit comments