about summary refs log tree commit diff
path: root/nixpkgs/pkgs/applications/science/logic/isabelle/components/isabelle-linter.nix
Commit message (Expand)AuthorAge
* Merge branch 'nixos-unstable-small' of https://github.com/NixOS/nixpkgsAlyssa Ross2023-12-15
* Merge branch 'nixos-unstable' of https://github.com/NixOS/nixpkgsAlyssa Ross2023-06-16
* Merge commit '00e27c78d3d2de6964096ceee8d70e5b487365e3'Alyssa Ross2022-03-31