idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-03 00:55:00 +03:00
Code Issues Projects Releases Wiki Activity
9c5198cde3
Idris2/tests/idris2
History
Jan de Muijnck-Hughes 9c5198cde3 Fixed docs and improved Literate mode. 
+ Expanded the documentation on how to use literate modes.
+ Added invisible code blocks in Markdown using specially tagged comment blocks: `<!-- idris -->`.
+ Fixed OrgMode specificaton to recognise comment blocks properly.
2020-12-07 14:54:35 +00:00
..
api001 Make the run script executable 2020-08-21 12:24:23 +02:00
basic001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic010 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic011 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic012 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic013 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic014 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic015 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic016 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic017 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic018 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic019 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic020 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic021 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic022 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic023 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic024 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic025 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic026 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic027 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic028 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic029 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic030 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic031 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic032 [ log ] for desugaring of idioms 2020-09-24 15:27:40 +01:00
basic033 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic034 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic035 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic036 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic037 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic038 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic039 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic040 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic041 Fix #616 2020-08-30 19:32:33 +01:00
basic042 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
basic043 Run tests chez029 and node022 via code generator 2020-10-24 12:34:04 +01:00
basic044 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
basic045 [ fix #650 ] Lazier match in NPrimVal vs. ConCase (#655) 2020-09-09 17:17:07 +01:00
basic046 Adding a whole bunch of tuple sections (#680) 2020-09-19 14:51:57 +01:00
basic047 [ fix #63 ] interleaving let binders and local declarations (#691) 2020-09-28 13:15:22 +01:00
basic048 Editor was made run apostrophe-containing modules from REPL normally. 2020-11-26 11:17:36 +00:00
basic049 Merge 2020-12-03 15:28:20 +03:00
basic050 Have lambda-case available everywhere lambda is (#819) 2020-12-07 11:34:48 +00:00
coverage001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage006 [ fix #63 ] interleaving let binders and local declarations (#691) 2020-09-28 13:15:22 +01:00
coverage007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
coverage010 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
coverage011 [ fix ] recoverability criteria 2020-11-11 19:10:34 +00:00
docs001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
docs002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error004 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
error005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error010 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error011 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error012 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
error013 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
error014 [ fix #735 ] Make sure type constructors are fully applied 2020-10-16 14:44:11 +01:00
evaluator001 [ fix #705 ] Normalise primitives in mkPat (#718) 2020-10-02 12:22:57 +01:00
evaluator002 [ fix #650 ] Lazier match in NPrimVal vs. ConCase (#655) 2020-09-09 17:17:07 +01:00
evaluator003 [ fix #705 ] Normalise primitives in mkPat (#718) 2020-10-02 12:22:57 +01:00
evaluator004 [ fix #735 ] Make sure type constructors are fully applied 2020-10-16 14:44:11 +01:00
import001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
import002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
import003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
import004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
import005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive010 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive011 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive012 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive013 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive014 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive015 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive016 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive017 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interactive018 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface006 Add Bifunctor interface (#701) 2020-09-30 10:51:07 +01:00
interface007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface010 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface011 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface012 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface013 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface014 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface015 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interface016 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
interface017 [ new ] comma-separated interface parameters (#682) 2020-09-19 15:29:23 +01:00
interpreter001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interpreter002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interpreter003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
interpreter004 [ test ] more corner cases 2020-09-23 19:48:58 +01:00
interpreter005 [ fix #37 ] Use filename if we already know it 2020-09-24 15:56:23 +01:00
lazy001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear007 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
linear008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear010 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear011 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
linear012 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate010 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate011 Fixed docs and improved Literate mode. 2020-12-07 14:54:35 +00:00
literate012 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate013 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate014 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate015 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
literate016 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
namespace001 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
params001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perf001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perf002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perf003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perf004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perf005 Fix another DPair parsing regression 2020-10-02 11:22:48 +01:00
perf006 [ fix #775 ] integerToNat is not, in fact, id (#799) 2020-11-27 18:48:19 +00:00
perror001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perror002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perror003 [ fix #63 ] interleaving let binders and local declarations (#691) 2020-09-28 13:15:22 +01:00
perror004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perror005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
perror006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
pkg001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
pkg002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
pkg003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
pkg004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
pkg005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
positivity001 [ re #660 ] Positivity checking for empty types 2020-09-14 18:37:47 +01:00
positivity002 [ debug ] Give the option to log off 2020-12-07 11:33:37 +00:00
positivity003 [ re #660 ] eta-contract parameter candidates 2020-09-16 15:45:16 +01:00
positivity004 [ fix #775 ] integerToNat is not, in fact, id (#799) 2020-11-27 18:48:19 +00:00
real001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
real002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
record001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
record002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
record003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
record004 Add two cases to the record projection test. 2020-09-11 00:29:14 +02:00
record005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
record006 Implement new application syntax 2020-10-01 12:43:43 +03:00
reflection001 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
reflection002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reflection003 [ new ] topics for logging levels (#569) 2020-08-20 18:45:34 +01:00
reflection004 Revert postfix dotted application. 2020-09-10 19:00:48 +02:00
reflection005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reflection006 [ new ] topics for logging levels (#569) 2020-08-20 18:45:34 +01:00
reflection007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reflection008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reflection009 Revert "[ refactor ] Introducing Namespace and ModuleIdent (#631)" 2020-09-04 09:16:06 +01:00
reg001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg007 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg008 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg010 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg011 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg012 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg013 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
reg014 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg015 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg016 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg017 [ close #270 ] Add FC to Binder (#296) 2020-08-21 19:03:53 +01:00
reg018 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg019 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg020 add binary literals 2020-08-31 08:48:05 +01:00
reg021 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg022 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg023 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg024 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg025 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg026 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg027 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg028 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg029 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg030 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg031 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg032 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg033 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg034 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
reg035 Auto-implicit __con now added before implicits. (#659) 2020-12-07 11:41:47 +00:00
total001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
total002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
total003 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
total004 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
total005 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
total006 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
total007 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
total008 Improving error messages (#786) 2020-11-26 11:35:55 +00:00
total009 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
total010 Fix bug #654 2020-09-10 08:08:59 +01:00
with001 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
with002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
with003 Remove FArgList 2020-09-23 18:33:19 +01:00