1
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 24 hours ago. based on code collected 2 days ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Updated README.md More... almost 2 years ago
updated changelog More... over 2 years ago
updated code documentation More... over 2 years ago
updated CSS for documentation More... over 2 years ago
updated version number More... over 2 years ago
added -lto flag to default flags More... over 2 years ago
updated changelog More... over 2 years ago
removed uneeded space from linker options More... over 2 years ago
updated changelog More... over 2 years ago
updated changelog More... over 2 years ago
started work on creating console only version of library More... over 2 years ago
use push instead of sync when pushing to Fossil in bob command push More... over 2 years ago
added option to set linker arguments More... over 2 years ago
added -fpic to default flags More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
fixed Tcl.Tk.Ada.Widgets.TEntry.Spinbox package More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
fixed Tcl.Tk.Ada.Image.Bitmap package More... over 2 years ago
fixed Tcl.Tk.Ada.Image.Photo package More... over 2 years ago
added Global contract to Tk.Button subprograms More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago
added missing Get_Widget function to checkbutton More... over 2 years ago
made speficication of some packages more SPARK friendly More... over 2 years ago