Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
.. | |||||||
scripts | 25 | 13 years ago | Clint Byrum | adding formulate and proof scripts to make formula | |||
templates | 25 | 13 years ago | Clint Byrum | adding formulate and proof scripts to make formula | |||
tests | 43 | 12 years ago | Clint Byrum | - removed formulas dir as it is now empty. - addin | |||
.bzrignore | 51 | 12 years ago | Clint Byrum | Ignore formulas directory | 10 bytes | ||
AUTHORS | 23 | 13 years ago | Clint Byrum | -reorganizing formulas -adding license info where | 228 bytes | ||
COPYING | 48 | 12 years ago | Clint Byrum | COPYING | 256 bytes | ||
GPL-3 | 23 | 13 years ago | Clint Byrum | -reorganizing formulas -adding license info where | 34.2 KB | ||
Makefile | 56 | 12 years ago | Clint Byrum | make DESTDIR and prefix work by the usual conventi | 432 bytes | ||
principia | 53 | 12 years ago | Clint Byrum | Adding new script to put in user's path for easy r | 480 bytes | ||
principia.1 | 53 | 12 years ago | Clint Byrum | Adding new script to put in user's path for easy r | 718 bytes | ||
README | 45 | 12 years ago | Clint Byrum | Improving documentation. | 2.3 KB | ||
TODO | 24 | 13 years ago | Clint Byrum | adding documentation | 81 bytes |