Jens Johansen 9613e15a50 [kernel] Delete old Coq stuff ...

This is unused. If this is something we want to do again at some point
we can revert this cl.

Change-Id: Ia54b4c31a39f88dfb8837cb70960650320511151
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/114845
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>
Commit-Queue: Jens Johansen <jensj@google.com>

2019-08-28 11:06:41 +00:00

..

count_breakdown.dart

Improve error reporting from Kernel scripts

2018-10-05 12:19:01 +00:00

dump.dart

Improve error reporting from Kernel scripts

2018-10-05 12:19:01 +00:00

size_breakdown.dart

Add offsets to kernel size breakdown

2018-11-22 07:31:11 +00:00

split.dart

Improve error reporting from Kernel scripts

2018-10-05 12:19:01 +00:00

transform.dart

[kernel] Delete old Coq stuff

2019-08-28 11:06:41 +00:00

type_check.dart

Rename strong mode to legacy mode in package:kernel

2018-12-20 18:06:34 +00:00