| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [tool] set up interface between the configuration system and the command line... | Philipp Gesang | 2014-04-25 | 1 | -2/+6 |
| * | [tool] adapt help message | Philipp Gesang | 2014-04-24 | 1 | -3/+2 |
| * | [colors,conf,db,main,tool] adapt the TeX run code to new configuration | Philipp Gesang | 2014-04-24 | 1 | -12/+16 |
| * | [db,conf,main,tool] move primary configuration table to new configuration mod... | Philipp Gesang | 2014-04-22 | 1 | -21/+23 |
| * | [tool,db,conf] integrate defaults into new config model | Philipp Gesang | 2014-04-22 | 1 | -19/+10 |
| * | [conf,tool] integrate configuration parser | Philipp Gesang | 2014-04-21 | 1 | -8/+33 |
| * | [tool] update usage and help messages to include bisection | Philipp Gesang | 2014-03-30 | 1 | -0/+6 |
| * | [tool] fix final stage of bisection | Philipp Gesang | 2014-03-27 | 1 | -2/+5 |
| * | [db,tool] reconcile --bisect with --max-fonts | Philipp Gesang | 2014-03-24 | 1 | -6/+32 |
| * | [db,tool] display list of remaining files if less than ten | Philipp Gesang | 2014-03-23 | 1 | -0/+18 |
| * | [db,tool] implement termination of bisect session | Philipp Gesang | 2014-03-23 | 1 | -3/+24 |
| * | [tool] implement good/bad directives for bisection mode | Philipp Gesang | 2014-03-23 | 1 | -3/+36 |
| * | [db,tool,main] implement run directive for bisection mode | Philipp Gesang | 2014-03-23 | 1 | -7/+33 |
| * | [tool] reimplement bisect status directive | Philipp Gesang | 2014-03-23 | 1 | -14/+41 |
| * | [tool] add stop directive to bisect mode | Philipp Gesang | 2014-03-23 | 1 | -0/+22 |
| * | [db,tool] add bisection initialization routines | Philipp Gesang | 2014-03-23 | 1 | -9/+78 |
| * | [tool] add dummies for --bisect | Philipp Gesang | 2014-03-22 | 1 | -2/+62 |
| * | [tool,doc] document “--local” option in manual and usage messages | Philipp Gesang | 2014-02-14 | 1 | -1/+2 |
| * | [db,main,tool] scan local fonts upon failed lookup during a TeX run (requires... | Philipp Gesang | 2014-02-14 | 1 | -8/+3 |
| * | [db,tool] make local font scan part of update_names() | Philipp Gesang | 2014-02-14 | 1 | -1/+1 |
| * | [db,tool] support scanning local fonts into db | Philipp Gesang | 2014-02-14 | 1 | -6/+14 |
| * | [db] add “local” field to meta table in db | Philipp Gesang | 2014-02-14 | 1 | -1/+1 |
| * | [*] move source files to ./src | Philipp Gesang | 2014-02-12 | 1 | -0/+1263 |
