layouttranslations: backport pt_BR additions and Arabic translation from master

lib/layouttranslations

@@ -986,7 +986,7 @@ Translation pl
 	"Theorem" "Twierdzenie"
 End
 
-Translation pt
+Translation pt_PT
 	"Acknowledgement" "Agradecimento"
 	"Algorithm" "Algoritmo"
 	"Assumption" "Suposição"
@@ -1028,7 +1028,44 @@ Translation pt
 End
 
 Translation pt_BR
+	"Acknowledgement" "Agradecimento"
+	"Algorithm" "Algoritmo"
+	"Assumption" "Suposição"
+	"Axiom" "Axioma"
+	"Case" "Caso"
+	"Chart" "Chart"
+	"Claim" "Afirmação"
+	"Conclusion" "Conclusão"
+	"Condition" "Condição"
+	"Conjecture" "Conjetura"
+	"Corollary" "Corolário"
+	"Criterion" "Critério"
+	"Definition" "Definição"
+	"Example" "Exemplo"
+	"Exercise" "Exercício"
 	"Fact" "Fato"
+	"Graph[[mathematical]]" "Graph"
+	"Lemma" "Lema"
+	"List of Algorithms" "Lista de Algoritmos"
+	"List of Charts" "Lista de Charts"
+	"List of Graphs[[mathematical]]" "Lista de Graphs"
+	"List of Schemes" "Lista de Esquemas"
+	"List of Tableaux" "Lista de Tableaux"
+	"Listing" "Listagem"
+	"Listings[[List of Listings]]" "Listagens"
+	"Notation" "Notação"
+	"Note" "Nota"
+	"Problem" "Problema"
+	"Proof" "Prova"
+	"Property" "Propriedade"
+	"Proposition" "Proposição"
+	"Question" "Pergunta"
+	"Remark" "Observação"
+	"Scheme" "Esquema"
+	"Solution" "Solução"
+	"Summary" "Resumo"
+	"Tableau" "Tableau"
+	"Theorem" "Teorema"
 End
 
 Translation ro