-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path_tags
More file actions
10 lines (10 loc) · 855 Bytes
/
_tags
File metadata and controls
10 lines (10 loc) · 855 Bytes
1
2
3
4
5
6
7
8
9
10
<src/rmtld3synth.{byte,native}>: package(unix,type_conv,sexplib,batteries,Z3)
"src/rmtld3.ml": package(unix,type_conv,sexplib,batteries), camlp4o, use_sexplib.syntax
"src/rmtld3_extension.ml" : package(unix,type_conv,sexplib,batteries), camlp4o, use_sexplib.syntax
"src/rmtld3synth_helper.ml" : package(unix,type_conv,sexplib,batteries), camlp4o, use_sexplib.syntax
"src/rmtld3synth_simplify.ml" : package(unix,type_conv,sexplib,batteries), camlp4o, use_sexplib.syntax
"src/interface/mathkernel.ml" : package(unix,type_conv,sexplib,batteries), camlp4o, use_sexplib.syntax
"src/interface/rmdslparser.ml" : package(unix,type_conv,sexplib,batteries), camlp4o, use_sexplib.syntax
"src/interface/texeqparser.ml" : package(unix,type_conv,sexplib,batteries), camlp4o, use_sexplib.syntax
<**/*.ml>: package(unix,type_conv,sexplib,batteries,Z3)
true: warn_error_A