Natools

All files named "tools.gpr"
Login

History for tools.gpr

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]