makarius added a member for isabelle-repository: kleing.

makarius added a member for isabelle-repository: peter_lammich.

makarius created Isabelle Release.

makarius added a project to Isabelle NEWS: isabelle-repository.

makarius added members for isabelle-repository: florian.haftmann, lukas.bulwahn.

makarius added a member for isabelle-repository: blanchette.

makarius added a member for isabelle-repository: pruvisto.

makarius added a member for isabelle-repository: immler.

makarius edited Description on isabelle-repository.

makarius added a member for isabelle-repository: alexander.krauss.

makarius added a member for isabelle-repository: traytel.

makarius edited Description on isabelle-repository.

makarius edited Description on isabelle-repository.

makarius created isabelle-repository.