From c43b0fb2fb20815409905bd85f06d5a1de12024a Mon Sep 17 00:00:00 2001 From: a Date: Wed, 29 May 2024 11:23:42 +0200 Subject: [PATCH] adjust readme --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index 21ce51b0..a93386b5 100644 --- a/README.md +++ b/README.md @@ -4,6 +4,12 @@ # Metatheory.jl +## The 3.0 version is in-development and close to release! + +## If you want to use Metatheory.jl, please use the `ale/3.0` [branch](https://github.com/JuliaSymbolics/Metatheory.jl/pull/185). + +## It's a lot more stable, and up to [~200x faster than 2.0](https://github.com/JuliaSymbolics/Metatheory.jl/pull/185#issuecomment-1890910789) + [![Docs](https://img.shields.io/badge/docs-latest-blue.svg)](https://juliasymbolics.github.io/Metatheory.jl/dev/) [![Docs](https://img.shields.io/badge/docs-stable-blue.svg)](https://juliasymbolics.github.io/Metatheory.jl/stable/) ![CI](https://github.com/juliasymbolics/Metatheory.jl/workflows/CI/badge.svg)