GWindows release, 09-May-2026 [revision 635]
=========================================
629: GWindows.Clipboard: added Clipboard_HTML procedure (copy HTML fragment
to the clipboard; useful for copying more than plain texts)
626: GWindows.Common_Controls: added check box feature to List_View's
* Add ZanyBlue framework 1.4.0.
* Fix folder hierarchy.
* Fix name of ZanyBlue library crate.
* Sync also origin repo.
* Adapt bin and obj folder location to Alire requirement.
Fix typos in alire (zbinfo and zbmcompile).
* Change version for Alire as 1.4.0 is already registered.
* Suppress old 1.4.0 version.
* restore disabled 1.4.0 releases
* Restore original commit
* Restore original commit
---------
Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
* ZanyBlue release 1.5.0.
* Add .gitattributes with eol=lf for Ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Add .gitattributes with eol=lf for ads files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Add .gitattributes with "text=auto eol=lf" for ads, adb and ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Synchronize zbinfo and zbmcompile crates.
* Remove zbinfo and zbmcompile crates.
Only one at a time.
* Change .gitattributes back without auto.
* Avoid (style) incorrect line terminator [-gnatyd] with BUILD = "Production".
* Pi Ada Tutorial release 1.6.0
* Remove extra newline before URL in TOML file
Force rebuild by removing redundant lines at the end of the file
---------
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
SPARK-proved CCSDS protocol suite for Ada 2022. Covers Space Packet,
Time Code Formats (CUC / CDS), AOS Transfer Frame with FECF,
Encapsulation Packet, CFDP PDU with optional CRC, SLE identifiers,
and the shared CRC-16-CCITT-FALSE primitive. 440 SPARK Level 2 proof
obligations, all discharged, no pragma Assume, no justified checks.
Phil's RP2040 Microcontroller Embedded Profile Firmware Template
Added web site link.
Added long description.
Refined postbuild.sh to make search for implicit mount point much more robust.
* Pi Ada Tutorial release 1.5.1
Add installation via openocd. Update description.
* Fix URL formatting in pico_ada_c01_blink TOML file
Remove new lines - will also trigger a rebuild.
* Remove unnecessary line break in TOML file
And trigger a rebuild.
---------
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>