larsrh/libisabelle issues and pull requests

#113 - Update org.eclipse.jgit to 5.3.4.201908231101-r

Pull Request - State: open - Opened by scala-steward almost 5 years ago

#112 - Update sbt to 1.1.6

Pull Request - State: closed - Opened by scala-steward almost 5 years ago

#111 - Update specs2-scalacheck to 4.7.0

Pull Request - State: open - Opened by scala-steward almost 5 years ago

#110 - Support Isabelle 2019

Issue - State: open - Opened by dominique-unruh almost 5 years ago

#109 - Update sbt to 1.2.8

Pull Request - State: open - Opened by scala-steward almost 5 years ago

#108 - Update specs2-scalacheck to 4.6.0

Pull Request - State: open - Opened by scala-steward about 5 years ago

#107 - Update sqlite-jdbc to 3.28.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#107 - Update sqlite-jdbc to 3.28.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#107 - Update sqlite-jdbc to 3.28.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#107 - Update sqlite-jdbc to 3.28.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#107 - Update sqlite-jdbc to 3.28.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#106 - Update sbt-sonatype to 2.5

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#105 - Async lock does not get released

Issue - State: open - Opened by larsrh about 5 years ago

#105 - Async lock does not get released

Issue - State: open - Opened by larsrh about 5 years ago

#105 - Async lock does not get released

Issue - State: open - Opened by larsrh about 5 years ago

#105 - Async lock does not get released

Issue - State: open - Opened by larsrh about 5 years ago

#105 - Async lock does not get released

Issue - State: open - Opened by larsrh about 5 years ago

#104 - Update org.eclipse.jgit to 5.4.0.201906121030-r

Pull Request - State: open - Opened by scala-steward about 5 years ago

#104 - Update org.eclipse.jgit to 5.4.0.201906121030-r

Pull Request - State: open - Opened by scala-steward about 5 years ago

#104 - Update org.eclipse.jgit to 5.4.0.201906121030-r

Pull Request - State: open - Opened by scala-steward about 5 years ago

#104 - Update org.eclipse.jgit to 5.4.0.201906121030-r

Pull Request - State: open - Opened by scala-steward about 5 years ago

#103 - Update org.eclipse.jgit to 5.3.2.201906051522-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#103 - Update org.eclipse.jgit to 5.3.2.201906051522-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#103 - Update org.eclipse.jgit to 5.3.2.201906051522-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#103 - Update org.eclipse.jgit to 5.3.2.201906051522-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#103 - Update org.eclipse.jgit to 5.3.2.201906051522-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#102 - Update log4s to 1.8.2

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#101 - Update tut-plugin to 0.6.12

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#101 - Update tut-plugin to 0.6.12

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#101 - Update tut-plugin to 0.6.12

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#101 - Update tut-plugin to 0.6.12

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#101 - Update tut-plugin to 0.6.12

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#100 - Update log4s to 1.8.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#100 - Update log4s to 1.8.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#100 - Update log4s to 1.8.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#100 - Update log4s to 1.8.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#100 - Update log4s to 1.8.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#99 - Update cats-core, cats-free to 1.6.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#99 - Update cats-core, cats-free to 1.6.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#99 - Update cats-core, cats-free to 1.6.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#99 - Update cats-core, cats-free to 1.6.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#99 - Update cats-core, cats-free to 1.6.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#98 - bump sbt version

Pull Request - State: open - Opened by larsrh about 5 years ago

#98 - bump sbt version

Pull Request - State: open - Opened by larsrh about 5 years ago

#98 - bump sbt version

Pull Request - State: open - Opened by larsrh about 5 years ago

#98 - bump sbt version

Pull Request - State: open - Opened by larsrh about 5 years ago

#98 - bump sbt version

Pull Request - State: open - Opened by larsrh about 5 years ago

#98 - bump sbt version

Pull Request - State: open - Opened by larsrh about 5 years ago

#97 - Update specs2-scalacheck to 4.5.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#97 - Update specs2-scalacheck to 4.5.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#97 - Update specs2-scalacheck to 4.5.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#97 - Update specs2-scalacheck to 4.5.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#97 - Update specs2-scalacheck to 4.5.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#97 - Update specs2-scalacheck to 4.5.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#97 - Update specs2-scalacheck to 4.5.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#96 - Update org.eclipse.jgit to 5.3.1.201904271842-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#96 - Update org.eclipse.jgit to 5.3.1.201904271842-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#96 - Update org.eclipse.jgit to 5.3.1.201904271842-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#96 - Update org.eclipse.jgit to 5.3.1.201904271842-r

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#95 - Update sqlite-jdbc to 3.27.2.1

Pull Request - State: closed - Opened by scala-steward about 5 years ago - 1 comment

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#94 - Update cats-core, cats-free to 1.6.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#93 - Update tut-plugin to 0.6.11

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#92 - Update specs2-scalacheck to 4.3.6

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#92 - Update specs2-scalacheck to 4.3.6

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#92 - Update specs2-scalacheck to 4.3.6

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#92 - Update specs2-scalacheck to 4.3.6

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#92 - Update specs2-scalacheck to 4.3.6

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#91 - Update scala-parser-combinators to 1.1.2

Pull Request - State: open - Opened by scala-steward about 5 years ago

#91 - Update scala-parser-combinators to 1.1.2

Pull Request - State: open - Opened by scala-steward about 5 years ago

#91 - Update scala-parser-combinators to 1.1.2

Pull Request - State: open - Opened by scala-steward about 5 years ago

#90 - Update log4s to 1.8.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#90 - Update log4s to 1.8.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#90 - Update log4s to 1.8.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

#90 - Update log4s to 1.8.0

Pull Request - State: closed - Opened by scala-steward about 5 years ago

GitHub / larsrh/libisabelle issues and pull requests