History of the file that is called tools.gpr at check-in c104c5befa28f534a34eae20996c774bd23c2827
2016-09-07
| ||
18:45 | tools/smaz: new tool providing a CLI interface for Natools.Smaz.Tools file: [e77a58b27e] check-in: [bae1665fad] user: nat, branch: trunk, size: 493 [annotate] [blame] [check-ins using] [diff] | |
2015-01-16
| ||
22:10 | tools: new "timekey" too to provide a CLI interface to Natools.Time_Keys file: [b20d6d07da] check-in: [25d22b98f4] user: nat, branch: trunk, size: 485 [annotate] [blame] [check-ins using] [diff] | |
2014-07-20
| ||
19:03 | sxcat: new tool to concatenate and pretty-print S-expressions file: [9405a0b1c6] check-in: [7fadcee47a] user: nat, branch: trunk, size: 474 [annotate] [blame] [check-ins using] [diff] | |
2014-05-23
| ||
18:44 | generate_static_hash_map: new tool that provides a CLI to Natools.Static_Hash_Maps file: [a7527b07a8] check-in: [d40564ef6b] user: nat, branch: trunk, size: 459 [annotate] [blame] [check-ins using] [diff] | |
2014-04-07
| ||
19:04 | Added: tools: new directory for command-line tools using directly Natools library, seeded with HMAC tools file: [69e0606d25] check-in: [4d8481daa6] user: nat, branch: trunk, size: 426 [annotate] [blame] [check-ins using] | |