Activity for Atelier B Graphical User Interface
-
Mathieu Viale committed [r892]
Missing #include
-
Update of english messages and french translations
-
Correction of french translation in the Atelier...
-
Correction of english messages in the GUI
-
Mise à jour des traductions
-
Mise à jours des fichiers de traduction + tradu...
-
Mise à jours des fichiers de traduction + tradu...
-
Traductions pour les règles de codage
-
Les paramètres vides redonnent la valeur par dé...
-
Ajout de l'interfaçage avec BCRC pour les règle...
-
Adding a new menu entry (non functional for now...
-
Création de la version 4.2.1
-
Copyright 2015
-
Copyright 2015
-
Suppression répertoire inutile
-
Creating 4.2 branch
-
Lilian Burdy committed [r876]
Implement #2013
-
Création de la version 4.2.0
-
Création de la version 4.2.0
-
Add of external contributors Tomohiro Ohyama an...
-
Add of japanese translations
-
br to pt_BR for translations
-
br to pt_BR for translations
-
br to pt_BR for translations
-
Correction to take english translations by default
-
Update of translations
-
Update of translations
-
Switching br to pt_BR
-
Complete japanese translation
-
-
Correction anomalie vue pendant la formation
-
Creation of japanese translation file
-
Creation of japanese translation file
-
Update of japanese translation entries
-
Changing AtelierB 4.1 in AtelierB 4.X in welcom...
-
Disabling an help menu in order to avoid some p...
-
Mise à jour de l'image
-
Completion of french translation
-
Completion of french translation
-
Joris committed [r853]
fixe the shape of the selectors for old or new POG
-
Implement #1834
-
By default Initial proof panel is displayed for...
-
Fixing an issue with navigation info when using...
-
Using "expanded" information to not display nav...
-
Storing in a list information about definitions
-
Add of reading of expanded attribute for Pos tag
-
Disabling navigation information if preference ...
-
Add of a preference to disable computation of ...
-
Considering tab size when highlighting elements...
-
Highlighting definition when selecting an expan...
-
All errors are displayed in the error view (no ...
-
At least one GOP is always selected.
-
Deleting of checking for generation of event fe...
-
Deleting check box for generating deadlock free...
-
Suite de #1967
-
Correction #1967
-
prover processes multiplier
-
Add of support of Real_Literal tag
-
Correction #1981
-
Add of ASSERTIONS clause in displaying
-
Implement #1957
-
set invisible the icone of data project type
-
Deleting call to save/restoreGeometry which is ...
-
Adding definitions directory while adding compo...
-
Implement #1965 et #1960
-
Add of comments, cleaning code, and new handlin...
-
First version of launchin navigation informatio...
-
Correction #1886
-
fix project wizard
-
Completion and checking translation
-
Modification and checking of translation
-
Completion and checking french translation
-
Completion of translation
-
Completion of translation
-
Completion of translation
-
separate mixed mode for (n)POG selection
-
hide PO filtering when old GOP is used
-
hide navigation menu item when we are old GOP
-
backup showHideNavigation
-
always show showHideNavigation
-
keep "initial proof" widget visible or not betw...
-
remove empty line in the project menu
-
Fix #1780
-
remove extraneous text encoding
-
Fix #1812
-
Fix #1939 et #1941
-
Fix #1888
-
Fix #1948
-
Fix #1825
-
revert commit 800
-
remove extra text conversion
-
Fix #1777
-
change default dir for new file
-
Fix #795
-
fix "try everywhere" button
-
Fix #1947
-
remove blank menu line
-
Fix #1743
-
Fix #1821
-
Fix #1836
