ef0befc | Dirk Roorda | 04 October 2018, 17:47:06 UTC | tab-separated files get extension .tsv | 04 October 2018, 17:47:06 UTC |
3f523b6 | Dirk Roorda | 04 October 2018, 17:26:44 UTC | optimization and docs | 04 October 2018, 17:26:44 UTC |
733b143 | Dirk Roorda | 04 October 2018, 15:17:50 UTC | docs about BOM | 04 October 2018, 15:17:50 UTC |
a5a507a | Dirk Roorda | 04 October 2018, 14:39:38 UTC | sensible export from TF browser | 04 October 2018, 14:39:38 UTC |
28740f6 | Dirk Roorda | 04 October 2018, 14:29:32 UTC | docs update | 04 October 2018, 14:29:32 UTC |
ef670e4 | Dirk Roorda | 04 October 2018, 14:25:11 UTC | docs update | 04 October 2018, 14:25:11 UTC |
b425db4 | Dirk Roorda | 04 October 2018, 14:17:52 UTC | docs update | 04 October 2018, 14:17:52 UTC |
9117fe6 | Dirk Roorda | 04 October 2018, 13:28:14 UTC | sensible export from TF browser | 04 October 2018, 13:28:14 UTC |
24bc0e5 | Dirk Roorda | 03 October 2018, 06:05:20 UTC | more complete CONTEXT.tsv | 03 October 2018, 06:05:20 UTC |
cdb84ae | Dirk Roorda | 25 September 2018, 15:50:02 UTC | better help in BHSA app | 25 September 2018, 15:50:02 UTC |
7e69a8d | Dirk Roorda | 21 September 2018, 17:05:08 UTC | small fix in search with msgCache | 21 September 2018, 17:05:08 UTC |
0fb3e2d | Dirk Roorda | 13 September 2018, 15:54:53 UTC | performance comparisons between serialization methods | 13 September 2018, 15:54:53 UTC |
b0527c1 | Dirk Roorda | 13 September 2018, 12:44:49 UTC | fix in pretty | 13 September 2018, 12:44:49 UTC |
e8c54ed | Dirk Roorda | 13 September 2018, 12:43:20 UTC | fix in pretty | 13 September 2018, 12:43:20 UTC |
17bc254 | Dirk Roorda | 13 September 2018, 07:30:50 UTC | avro test | 13 September 2018, 07:30:50 UTC |
593d2ca | Dirk Roorda | 04 September 2018, 14:19:00 UTC | cite instruction in docs | 04 September 2018, 14:19:00 UTC |
4aaad81 | Dirk Roorda | 31 August 2018, 13:15:41 UTC | test contents | 31 August 2018, 13:15:41 UTC |
8958d94 | Dirk Roorda | 30 August 2018, 13:11:17 UTC | fix in syriac transcription | 30 August 2018, 13:11:17 UTC |
3b27b64 | Dirk Roorda | 28 August 2018, 14:57:10 UTC | build script | 28 August 2018, 14:57:10 UTC |
052b93f | Dirk Roorda | 16 August 2018, 11:11:58 UTC | darker gloss color bhsa | 16 August 2018, 11:11:58 UTC |
cd0fccd | Dirk Roorda | 15 August 2018, 07:15:18 UTC | brill paper | 15 August 2018, 07:15:18 UTC |
25b31b3 | Dirk Roorda | 14 August 2018, 15:29:53 UTC | docs | 14 August 2018, 15:29:53 UTC |
c7ff9e1 | Dirk Roorda | 07 August 2018, 14:36:14 UTC | examples | 07 August 2018, 14:36:14 UTC |
8bb877f | Dirk Roorda | 07 August 2018, 13:38:17 UTC | use utf8 encoding when writing to files | 07 August 2018, 13:38:17 UTC |
95e745a | Dirk Roorda | 21 July 2018, 17:48:22 UTC | docs | 21 July 2018, 17:48:22 UTC |
db78eda | Dirk Roorda | 20 July 2018, 20:46:18 UTC | julia-tests | 20 July 2018, 20:46:18 UTC |
ff8e722 | Dirk Roorda | 19 July 2018, 17:55:40 UTC | text cahcing in pip and pypi | 19 July 2018, 17:55:40 UTC |
1ebc574 | Dirk Roorda | 19 July 2018, 16:43:23 UTC | adaptations to packaging | 19 July 2018, 16:43:23 UTC |
81013c1 | Dirk Roorda | 19 July 2018, 12:00:44 UTC | comparison julia | 19 July 2018, 12:00:44 UTC |
cc15649 | Dirk Roorda | 19 July 2018, 08:52:40 UTC | comparison julia | 19 July 2018, 08:52:40 UTC |
a880be1 | Dirk Roorda | 19 July 2018, 08:47:02 UTC | comparison julia | 19 July 2018, 08:47:02 UTC |
0f06fe8 | Dirk Roorda | 17 July 2018, 06:52:33 UTC | -docker | 17 July 2018, 06:52:33 UTC |
d72bda6 | Dirk Roorda | 16 July 2018, 10:32:47 UTC | extra option in start | 16 July 2018, 10:32:47 UTC |
e1b1e6b | Dirk Roorda | 15 July 2018, 18:28:50 UTC | favicon webinterface | 15 July 2018, 18:28:50 UTC |
99280a7 | Dirk Roorda | 15 July 2018, 18:03:00 UTC | favicon | 15 July 2018, 18:03:00 UTC |
4c45f06 | Dirk Roorda | 15 July 2018, 17:44:48 UTC | docs | 15 July 2018, 17:44:48 UTC |
ffa19ea | Dirk Roorda | 15 July 2018, 17:42:49 UTC | docs | 15 July 2018, 17:42:49 UTC |
41c88bc | Dirk Roorda | 15 July 2018, 08:17:09 UTC | docs | 15 July 2018, 08:17:09 UTC |
a68bbbc | Dirk Roorda | 14 July 2018, 10:36:16 UTC | docs | 14 July 2018, 10:36:16 UTC |
9fbee7f | Dirk Roorda | 13 July 2018, 08:56:53 UTC | docs | 13 July 2018, 08:56:53 UTC |
90c1688 | Dirk Roorda | 12 July 2018, 08:05:34 UTC | quantified query error reporting | 12 July 2018, 08:05:34 UTC |
963b691 | Dirk Roorda | 11 July 2018, 18:20:01 UTC | fix in error messages from search in web-interface | 11 July 2018, 18:20:01 UTC |
9222c4f | Dirk Roorda | 11 July 2018, 13:42:37 UTC | various improvements | 11 July 2018, 13:42:37 UTC |
439546c | Dirk Roorda | 10 July 2018, 19:48:28 UTC | docs | 10 July 2018, 19:48:28 UTC |
ea4ad5b | Dirk Roorda | 10 July 2018, 19:23:19 UTC | docs | 10 July 2018, 19:23:19 UTC |
4b3e106 | Dirk Roorda | 10 July 2018, 08:50:53 UTC | fixes | 10 July 2018, 08:50:53 UTC |
c05438e | Dirk Roorda | 10 July 2018, 08:16:13 UTC | fixes | 10 July 2018, 08:16:13 UTC |
3228940 | Dirk Roorda | 10 July 2018, 07:57:53 UTC | fixes | 10 July 2018, 07:57:53 UTC |
f957f83 | Dirk Roorda | 10 July 2018, 06:14:26 UTC | better error handling | 10 July 2018, 06:14:26 UTC |
7bf72f4 | Dirk Roorda | 09 July 2018, 20:15:04 UTC | optimizations, docs | 09 July 2018, 20:15:04 UTC |
2af040d | Dirk Roorda | 09 July 2018, 08:28:17 UTC | readme | 09 July 2018, 08:28:17 UTC |
2330821 | Dirk Roorda | 09 July 2018, 08:27:13 UTC | docs typos | 09 July 2018, 08:27:13 UTC |
e251b15 | Dirk Roorda | 09 July 2018, 08:23:00 UTC | better help display | 09 July 2018, 08:23:00 UTC |
e22634c | Dirk Roorda | 08 July 2018, 19:45:27 UTC | crisper icon | 08 July 2018, 19:45:27 UTC |
e6c5e6a | Dirk Roorda | 06 July 2018, 13:50:44 UTC | docs | 06 July 2018, 13:50:44 UTC |
7d1ba26 | Dirk Roorda | 06 July 2018, 08:10:01 UTC | a little bit of refactoring; docs | 06 July 2018, 08:10:01 UTC |
3b02c63 | Dirk Roorda | 06 July 2018, 08:04:11 UTC | a little bit of refactoring; docs | 06 July 2018, 08:04:11 UTC |
d1248ae | Dirk Roorda | 05 July 2018, 19:53:33 UTC | docs | 05 July 2018, 19:53:33 UTC |
b780a30 | Dirk Roorda | 05 July 2018, 18:22:42 UTC | more docs | 05 July 2018, 18:22:42 UTC |
219a725 | Dirk Roorda | 05 July 2018, 17:20:46 UTC | build script and more docs | 05 July 2018, 17:20:46 UTC |
d09ef1c | Dirk Roorda | 05 July 2018, 17:17:10 UTC | build script and more docs | 05 July 2018, 17:17:10 UTC |
8b61252 | Dirk Roorda | 05 July 2018, 17:14:23 UTC | "Release None: build script and more docs" | 05 July 2018, 17:14:23 UTC |
be2ced9 | Dirk Roorda | 05 July 2018, 08:46:14 UTC | "Release 5.5.3: test" | 05 July 2018, 08:46:14 UTC |
b07b576 | Dirk Roorda | 05 July 2018, 08:45:09 UTC | "Release 5.5.3: test" | 05 July 2018, 08:45:09 UTC |
49e97b5 | Dirk Roorda | 04 July 2018, 20:12:12 UTC | New minor release 5.5.3 | 04 July 2018, 20:12:12 UTC |
2efa23e | Dirk Roorda | 04 July 2018, 17:21:40 UTC | New minor release 5.5.2 | 04 July 2018, 17:21:40 UTC |
181214d | Dirk Roorda | 04 July 2018, 14:09:30 UTC | New minor release 5.5.1 | 04 July 2018, 14:09:30 UTC |
e89967b | Dirk Roorda | 04 July 2018, 13:12:16 UTC | New major release 5.5.0 | 04 July 2018, 13:12:16 UTC |
832db85 | Dirk Roorda | 03 July 2018, 15:12:46 UTC | New minor release 5.4.7 | 03 July 2018, 15:12:46 UTC |
6d71e66 | Dirk Roorda | 03 July 2018, 11:12:37 UTC | New minor release 5.4.6 | 03 July 2018, 11:12:37 UTC |
f9f0cbe | Dirk Roorda | 03 July 2018, 09:50:31 UTC | New minor release 5.4.5 | 03 July 2018, 09:50:31 UTC |
60371b4 | Dirk Roorda | 03 July 2018, 08:32:47 UTC | New minor release 5.4.5 | 03 July 2018, 08:32:47 UTC |
09494e2 | Dirk Roorda | 02 July 2018, 12:52:05 UTC | New minor release 5.4.4 | 02 July 2018, 12:52:05 UTC |
b82b1b4 | Dirk Roorda | 29 June 2018, 15:17:05 UTC | New minor release 5.4.3 | 29 June 2018, 15:17:05 UTC |
554fed2 | Dirk Roorda | 28 June 2018, 15:02:46 UTC | New minor release 5.4.2 | 28 June 2018, 15:02:46 UTC |
f73d4e1 | Dirk Roorda | 28 June 2018, 12:12:02 UTC | New minor release 5.4.1 | 28 June 2018, 12:12:02 UTC |
df385ee | Dirk Roorda | 28 June 2018, 12:08:52 UTC | New minor release 5.4.1 | 28 June 2018, 12:08:52 UTC |
e76510f | Dirk Roorda | 27 June 2018, 19:57:54 UTC | Silent Documentation Update 5.4.0 | 27 June 2018, 19:57:54 UTC |
da454ab | Dirk Roorda | 26 June 2018, 20:42:28 UTC | New major release 5.4.0 | 26 June 2018, 20:42:28 UTC |
c9c0cb2 | Dirk Roorda | 26 June 2018, 07:17:50 UTC | tf browser nearly completed | 26 June 2018, 07:17:50 UTC |
9186db5 | Dirk Roorda | 25 June 2018, 19:27:26 UTC | nearly usable | 25 June 2018, 19:27:26 UTC |
d1a075a | Dirk Roorda | 25 June 2018, 05:31:23 UTC | reorganize | 25 June 2018, 05:31:23 UTC |
0bf1b06 | Dirk Roorda | 23 June 2018, 11:37:43 UTC | New minor release 5.3.3 | 23 June 2018, 11:37:43 UTC |
6534447 | Dirk Roorda | 22 June 2018, 20:46:19 UTC | readme | 22 June 2018, 20:46:19 UTC |
ce684ab | Dirk Roorda | 22 June 2018, 14:43:09 UTC | New minor release 5.3.2 | 22 June 2018, 14:43:09 UTC |
87d0dc2 | Dirk Roorda | 22 June 2018, 13:14:49 UTC | New minor release 5.3.1 | 22 June 2018, 13:14:49 UTC |
398d777 | Dirk Roorda | 22 June 2018, 12:06:41 UTC | readme | 22 June 2018, 12:06:41 UTC |
63ffd34 | Dirk Roorda | 22 June 2018, 12:05:38 UTC | readme | 22 June 2018, 12:05:38 UTC |
2daa3a7 | Dirk Roorda | 22 June 2018, 12:01:02 UTC | New major release 5.3.0 | 22 June 2018, 12:01:02 UTC |
4a04bc4 | Dirk Roorda | 21 June 2018, 15:51:04 UTC | New minor release 5.2.1 | 21 June 2018, 15:51:04 UTC |
def93d5 | Dirk Roorda | 21 June 2018, 15:49:30 UTC | New minor release 5.2.1 | 21 June 2018, 15:49:30 UTC |
5215f49 | Dirk Roorda | 21 June 2018, 15:19:14 UTC | New major release 5.2.0 | 21 June 2018, 15:19:14 UTC |
50ac7c0 | Dirk Roorda | 20 June 2018, 23:29:17 UTC | New major release 5.1.0 | 20 June 2018, 23:29:17 UTC |
060f2f9 | Dirk Roorda | 20 June 2018, 21:15:58 UTC | almost after refactoring | 20 June 2018, 21:15:58 UTC |
ae7725a | Dirk Roorda | 19 June 2018, 01:15:38 UTC | New minor release 5.0.4 | 19 June 2018, 01:15:38 UTC |
7165cc2 | Dirk Roorda | 19 June 2018, 01:14:29 UTC | Silent Documentation Update 5.0.3 | 19 June 2018, 01:14:29 UTC |
708bd0d | Dirk Roorda | 19 June 2018, 01:08:12 UTC | Silent Documentation Update 5.0.3 | 19 June 2018, 01:08:12 UTC |
beda4a4 | Dirk Roorda | 19 June 2018, 00:55:45 UTC | New minor release 5.0.3 | 19 June 2018, 00:55:45 UTC |
90d242d | Dirk Roorda | 19 June 2018, 00:26:05 UTC | New minor release 5.0.2 | 19 June 2018, 00:26:05 UTC |
f5df0d6 | Dirk Roorda | 19 June 2018, 00:09:29 UTC | New minor release 5.0.1 | 19 June 2018, 00:09:29 UTC |