This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
GEMS=$(cat <<EOF | |
childprocess-0.5.8.gem | |
ffi-1.9.10.gem | |
little-plugger-1.1.4.gem | |
micromachine-1.1.0.gem | |
multi_json-1.11.1.gem | |
net-ssh-2.9.2.gem | |
rest-client-1.6.9.gem |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{"name":"C.N.1","description":"Things which are equal to the same thing are also equal to one another.","references":[]} | |
{"name":"C.N.2","description":"If equals be added to equals, the wholes are equal.","references":[]} | |
{"name":"C.N.3","description":"If equals be subtracted from equals, the remainders are equal.","references":[]} | |
{"name":"C.N.4","description":"Things which coincide with one another are equal to one another.","references":[]} | |
{"name":"C.N.5","description":"The whole is greater than the part.","references":[]} | |
{"name":"Def.1.1","description":"A point is that which has no part.","references":[]} | |
{"name":"Def.1.10","description":"When a straight line set up on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is called a perpendicular to that on which it stands.","references":[]} | |
{"name":"Def.1.11","description":"An obtuse angle is an angle greater than a right angle.","references":[]} | |
{"name":"Def.1.12 |