update README/CHANGELOG

Author: aviatesk

CHANGELOG.md

@@ -44,11 +44,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ## [0.10.3]
 
 Reimplemented top-level analysis features like `report_package`.
-By updating to this version, you can use these features even in Julia v1.12.
+By updating to this version, you can use these features on Julia v1.12.
 
 However, to use JET v0.10.3, you need to use Julia version `v"1.12.0-beta1.11"` or later.
-As of April 19, 2025, to use that Julia version, you need to build Julia from
-[this branch](https://github.com/JuliaLang/julia/pull/58009).
+As of April 19, 2025, you need to build Julia from [this branch](https://github.com/JuliaLang/julia/pull/58009)
+for using this 1.12 beta version.
 
 Also, please be aware that some minor features haven't been fully tested yet.
 In particular, there might be issues related to https://github.com/timholy/Revise.jl/issues/903.

README.md

@@ -13,21 +13,10 @@ JET employs Julia's type inference system to detect potential bugs and type inst
 >   Users on v1.11 should continue using JET v0.9, which will only receive bug fixes.
 > - **Functionality**: ~~This version provides basic local analysis features but lacks~~
 >   ~~fully functional top-level analysis capabilities. These will be addressed in future updates.~~
-> Updated (v0.10.3): As of v0.10.3, Most functions, including `report_package`, should now be functional.
+>   Updated (v0.10.3): As of v0.10.3, most functions, including top-level analysis features
+>   like `report_package`, should now be functional.
 > - **Future Plans**: Development will focus on stabilizing v0.10 and refactoring JET
 >   for integration with the new language server project. For stable use, stick with v0.9.
->
-> JET v0.10 series introduces compatibility with Julia v1.12, addressing significant changes in
-> the runtime and compiler systems. However, maintaining compatibility with Julia v1.11 was
-> deemed infeasible, leading to the decision to drop support for it in this release.
-> Users on Julia v1.11 should remain on JET v0.9, which will continue to receive bug fixes
-> but no new features.
->
-> ### Future Development:
-> - Updates to the v0.10 series will focus on improving stability and functionality.
-> - Extensive refactoring is planned to support JET's integration into the [JETLS](https://github.com/aviatesk/JETLS.jl) project.
-> - Stability on Julia v1.12 may remain uncertain until these updates are complete.
->   Users requiring stable functionality should continue using the v0.9 series.
 
 > [!WARNING]
 > Please note that due to JET's tight integration with the Julia compiler, the results