• ch.epfl.scala
  • logic_2.12
    actions_2.12 bintry_2.10 bintry_2.11 bintry_2.12 bloop-backend_2.12 bloop-cli_2.13 bloop-config_2.10 bloop-config_2.11 bloop-config_2.12 bloop-config_2.13 bloop-config_3 bloop-config_sjs1_2.11 bloop-config_sjs1_2.12 bloop-config_sjs1_2.13 bloop-config_sjs1_3 bloop-frontend_2.12 bloop-integrations-core_2.10 bloop-integrations-core_2.12 bloop-js-bridge-0-6_2.12 bloop-js-bridge-1-0_2.12 bloop-js-bridge-1_2.12 bloop-launcher-core_2.12 bloop-launcher-core_2.13 bloop-launcher_2.12 bloop-launcher_2.13 bloop-native-bridge-0-3_2.12 bloop-native-bridge-0-4_2.12 bloop-native-bridge-0-5_2.12 bloop-native-bridge_2.12 bloop-rifle_2.13 bloop-shared_2.12 bloopgun-core_2.12 bloopgun-core_2.13 bloopgun_2.12 bloopgun_2.13 bsp-testkit_2.12 bsp-testkit_2.13 bsp4j bsp4j_2.12 bsp4j_2.13 bsp4s_2.12 bsp4s_2.13 bsp_2.12 buildpress_2.12 buildpressconfig_2.12 case-app-annotations_2.12 case-app-annotations_sjs0.6_2.12 case-app-util_2.12 case-app-util_sjs0.6_2.12 case-app_2.12 case-app_sjs0.6_2.12 classpath-shrinker_2.11 classpath-shrinker_2.12 cli_2.13 cmt-core_3 cmta_3 cmtc_3 codegen_2.12 codegen_2.13 collection-strawman_0.1 collection-strawman_0.2 collection-strawman_0.3 collection-strawman_0.4 collection-strawman_0.5 collection-strawman_0.6 collection-strawman_2.12 collection-strawman_2.13.0-M1 collection-strawman_2.13.0-M2 collection-strawman_sjs0.6_2.12 collection-strawman_sjs0.6_2.13.0-M2 collections-contrib_0.3 collections-contrib_0.5 collections-contrib_2.12 collections-contrib_sjs0.6_2.12 collections-contrib_sjs0.6_2.13.0-M2 collections_2.12 collections_3 command_2.12 compiler-bridge_2.10 compiler-bridge_2.11 compiler-bridge_2.12 compiler-bridge_2.13 compiler-bridge_2.13.0-M2 completion_2.12 core-macros_2.12 core-macros_3 example-scalafix-rule_2.11 example-scalafix-rule_2.12 example-scalafix-rule_2.13 gradle-bloop_2.11 gradle-bloop_2.12 gradle-bloop_2.13 gradlebloop212_2.12 input_2.11 input_2.12 input_2.13 integrationscore_2.10 integrationscore_2.12 jsonrpc_2.12 libdaemon_2.12 libdaemon_2.13 libdaemon_3 library-example_2.11 library-example_2.12 library-example_2.13 librarymanagement-coursier_3 lm-coursier_3 load-plugin_2.12 logic_2.12 lsp4s_2.12 main-settings_2.12 main_2.12 maven-bloop_2.10 maven-bloop_2.12 maven-bloop_2.13 migrate-core_2.13 migrate-rules_2.13 migrate_2.13 mill-bloop_2.12 nailgun-server_2.12 named-literal-arguments_2.13 output_2.11 output_2.12 output_2.13 profiledb_2.11 profiledb_2.12 profiledb_2.13 profiling-root_2.12 profiling-root_2.13 protocol_2.12 readme_2.11 run_2.12 sbt-bloop_2.12_1.0 sbt-compatibility-dummy_2.12 sbt-debug-adapter_2.12_1.0 sbt-eviction-rules-dummy_2.12 sbt-github-dependency-submission_2.12_1.0 sbt-plugin-example-bottom_2.12_1.0 sbt-plugin-example-diamond_2.12_1.0 sbt-plugin-example-left_2.12_1.0 sbt-plugin-example-right_2.12_1.0 sbt-release-early sbt-scala3-migrate_2.12_1.0 sbt-scalac-profiling_2.12_1.0 sbt-scalafix_2.12_1.0 sbt-version-policy-dummy_2.12 sbt-version-policy_2.12_1.0 scala-debug-adapter_2.12 scala-debug-adapter_2.13 scala-debug-decoder_3 scala-debug-step-filter_3 scala-expression-compiler_3.0.2-RC1 scala-expression-compiler_3.6.2-RC1 scala-expression-compiler_3.6.2-RC2 scala-expression-compiler_3.6.2-RC3 scala3-binary-decoder_3 scala3-migrate-core_2.13 scala3-migrate-rules_2.13 scala3-migrate_2.13 scalac-profiling-root_2.12 scalac-profiling-root_2.13 scalac-profiling_2.12 scalafix-cli_2.11 scalafix-cli_2.11.10 scalafix-cli_2.11.11 scalafix-cli_2.11.12 scalafix-cli_2.11.8 scalafix-cli_2.12.1 scalafix-cli_2.12.10 scalafix-cli_2.12.11 scalafix-cli_2.12.2 scalafix-cli_2.12.3 scalafix-cli_2.12.4 scalafix-cli_2.12.6 scalafix-cli_2.12.7 scalafix-cli_2.12.8 scalafix-cli_2.13.12 scalafix-core_2.11 scalafix-core_2.11.10 scalafix-core_2.12 scalafix-core_2.12.1 scalafix-core_2.13 scalafix-core_sjs0.6_2.11 scalafix-core_sjs0.6_2.12 scalafix-diff_2.11 scalafix-diff_2.12 scalafix-diff_sjs0.6_2.11 scalafix-diff_sjs0.6_2.12 scalafix-fatcli_2.11.10 scalafix-fatcli_2.12.1 scalafix-interfaces scalafix-nsc_2.11 scalafix-nsc_2.11.10 scalafix-nsc_2.12 scalafix-nsc_2.12.1 scalafix-reflect_2.11.11 scalafix-reflect_2.11.12 scalafix-reflect_2.12.10 scalafix-reflect_2.12.2 scalafix-reflect_2.12.3 scalafix-reflect_2.12.4 scalafix-reflect_2.12.6 scalafix-reflect_2.12.7 scalafix-reflect_2.12.8 scalafix-rules_2.11 scalafix-rules_2.12 scalafix-rules_2.13 scalafix-testkit_2.11 scalafix-testkit_2.11.11 scalafix-testkit_2.11.12 scalafix-testkit_2.12 scalafix-testkit_2.12.10 scalafix-testkit_2.12.11 scalafix-testkit_2.12.12 scalafix-testkit_2.12.13 scalafix-testkit_2.12.14 scalafix-testkit_2.12.15 scalafix-testkit_2.12.16 scalafix-testkit_2.12.17 scalafix-testkit_2.12.18 scalafix-testkit_2.12.19 scalafix-testkit_2.12.2 scalafix-testkit_2.12.20 scalafix-testkit_2.12.3 scalafix-testkit_2.12.4 scalafix-testkit_2.12.6 scalafix-testkit_2.12.7 scalafix-testkit_2.12.8 scalafix-testkit_2.13.6 scalafix-testutils_2.11 scalafix-testutils_2.12 scalafix_2.11 scalafix_2.12 scalafix_2.13 scalajs-bundler-linker_2.12 scripted-plugin_2.12 scripted-sbt_2.12 shapeless_2.12 shapeless_sjs0.6_2.12 spores_2.11 task-system_2.12 tasks_2.12 tasty-mima_3 tasty-query_3 tasty-query_sjs1_3 testing_2.12 tests_2.11 tests_2.12 tests_2.13 util-control_3 util-core_3 util-logging_3 util-position_3 util-relation_3 util-scripted_3 util-tracking_3 versions_2.12 zinc-apiinfo_2.12 zinc-classfile_2.11 zinc-classfile_2.12 zinc-classpath_2.11 zinc-classpath_2.12 zinc-compile-core_2.11 zinc-compile-core_2.12 zinc-compile_2.11 zinc-compile_2.12 zinc-core_2.11 zinc-core_2.12 zinc-ivy-integration_2.11 zinc-ivy-integration_2.12 zinc-persist_2.11 zinc-persist_2.12 zinc_2.11 zinc_2.12
  • 1.1.0-sourcedeps
    1.1.0-sourcedeps
Bookmarks
Latest version of ch.epfl.scala:logic_2.12
https://javadoc.io/doc/ch.epfl.scala/logic_2.12
Current version 1.1.0-sourcedeps
https://javadoc.io/doc/ch.epfl.scala/logic_2.12/1.1.0-sourcedeps
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/ch.epfl.scala/logic_2.12/1.1.0-sourcedeps/package-list